The following pages link to Supremica (Q30383):
Displaying 24 items.
- A framework for compositional nonblocking verification of extended finite-state machines (Q262429) (← links)
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming (Q977004) (← links)
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors (Q2081087) (← links)
- On-the-fly informed search of non-blocking directed controllers (Q2103713) (← links)
- Supervisory controller synthesis and implementation for safety PLCs (Q2128091) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- Consistent reduction in discrete-event systems (Q2151838) (← links)
- Time-optimal control of large-scale systems of systems using compositional optimization (Q2177769) (← links)
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (Q2177772) (← links)
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Q2197579) (← links)
- On the computation of counterexamples in compositional nonblocking verification (Q2197583) (← links)
- Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Synthesis of covert actuator and sensor attackers (Q2665344) (← links)
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors (Q2983297) (← links)
