Supremica
From MaRDI portal
Cited in
(35)- REGAL
- STCT
- What information really matters in supervisor reduction?
- Compositional coordinator synthesis of extended finite automata
- Optimal modular control of discrete event systems with distinguishers and approximations
- Diagnosability verification using LTL model checking
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- FORCE
- On-the-fly informed search of non-blocking directed controllers
- Supervisory controller synthesis and implementation for safety PLCs
- UMDES
- DESUMA
- GIDDES
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
- Consistent reduction in discrete-event systems
- MTSA
- Time-optimal control of large-scale systems of systems using compositional optimization
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
- On the computation of counterexamples in compositional nonblocking verification
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- A verification-driven framework for iterative design of controllers
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- TCT
- A framework for compositional nonblocking verification of extended finite-state machines
- Synthesis of covert actuator and sensor attackers
- libFAUDES
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
- Conflict-preserving abstraction of discrete event systems using annotated automata
- STSLib
- ARGoS
- Compositional synthesis of supervisors in the form of state machines and state maps
- Supervisory control of discrete event systems with distinguishers
- Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming
This page was built for software: Supremica
