libFAUDES
From MaRDI portal
LibFAUDES
Cited in
(16)- Natural projection as partial model checking
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
- From natural projection to partial model checking and back
- Coordination control of distributed discrete-event systems
- Coordination control of discrete-event systems revisited
- UMDES
- CMC
- TCT
- Supremica
- MuDiv
- PESTS
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- Control of distributed systems: tutorial and overview
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- On conditional decomposability
- Abstraction-based verification of codiagnosability for discrete event systems
This page was built for software: libFAUDES
