Optimal modular control of discrete event systems with distinguishers and approximations

DOI10.1007/S10626-021-00345-1zbMath1480.93267OpenAlexW3204238846WikidataQ114226809 ScholiaQ114226809MaRDI QIDQ2063103

Marcelo C. M. Teixeira, Robi Malik

Publication date: 10 January 2022

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

Full work available at URL: https://doi.org/10.1007/s10626-021-00345-1

zbMATH Keywords

supervisory controldiscrete event systemsdistinguishersmodular synthesis

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Related Items (1)

A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems

Uses Software

• UMDES
• Supremica

Cites Work

• Unnamed Item
• Unnamed Item
• A framework for compositional nonblocking verification of extended finite-state machines
• Supervisory control of discrete event systems with distinguishers
• Modular supervisory control of discrete-event systems
• Supervisor reduction for discrete-event systems
• Compositional coordinator synthesis of extended finite automata
• Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Hierarchical control of discrete-event systems
• A lattice-theoretical fixpoint theorem and its applications
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
• Reconfigurability of behavioural specifications for manufacturing systems
• Introduction to Discrete Event Systems
• Supervisory Control Architecture for Discrete-Event Systems
• Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
• Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
• On the consistency of hierarchical supervision in discrete-event systems
• Progressive events in supervisory control and compositional verification
• Hierarchical interface-based supervisory Control-part I: serial case
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
• On scalable supervisory control of multi-agent discrete-event systems

This page was built for publication: Optimal modular control of discrete event systems with distinguishers and approximations