The following pages link to libFAUDES (Q28303):
Displaying 10 items.
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (Q262426) (← links)
- Control of distributed systems: tutorial and overview (Q693692) (← links)
- Abstraction-based verification of codiagnosability for discrete event systems (Q710695) (← links)
- On conditional decomposability (Q1932746) (← links)
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (Q2177772) (← links)
- Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- From natural projection to partial model checking and back (Q2324221) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Coordination Control of Distributed Discrete-Event Systems (Q4560600) (← links)