swMATH16433MaRDI QIDQ28303FDOQ28303
Author name not available (Why is that?)
Official website: http://www.rt.eei.uni-erlangen.de/FGdes/faudes/
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
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- UMDES
- CMC
- TCT
- Supremica
- Control of distributed systems: tutorial and overview
- MuDiv
- PESTS
- 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
