Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction

DOI10.1007/s10626-019-00302-zzbMath1448.93204OpenAlexW3012761306MaRDI QIDQ2197579

Marcelo C. M. Teixeira, Robi Malik

Publication date: 1 September 2020

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/10289/13638

zbMATH Keywords

supervisory controldiscrete event systemsextended finite-state machines

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Related Items (3)

A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Optimal modular control of discrete event systems with distinguishers and approximations

Uses Software

• UMDES
• Supremica

Cites Work

• Unnamed Item
• Unnamed Item
• A framework for compositional nonblocking verification of extended finite-state machines
• Modeling and control of flexible context-dependent manufacturing systems
• Supervisory control of discrete event systems with distinguishers
• Modular control and coordination of discrete-event systems
• Control of discrete-event systems with modular or distributed structure
• A lattice-theoretical fixpoint theorem and its applications
• Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
• Introduction to Discrete Event Systems
• Graph-Based Algorithms for Boolean Function Manipulation
• Logic in Computer Science
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems

This page was built for publication: Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction