libFAUDES
From MaRDI portal
Software:28303
swMATH16433MaRDI QIDQ28303FDOQ28303
Author name not available (Why is that?)
Cited In (10)
- 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 discrete-event systems revisited
- 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
- Coordination Control of Distributed Discrete-Event Systems
- On conditional decomposability
- Abstraction-based verification of codiagnosability for discrete event systems
This page was built for software: libFAUDES
