On-the-fly informed search of non-blocking directed controllers

DOI10.1016/J.AUTOMATICA.2022.110731MaRDI QIDQ2103713zbMATH OpenOpenAlexFDO

Authors Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, V. Braberman, Nicolas D'Ippolito, Sebastian Uchitel

Publication date 9 December 2022

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2022.110731

zbMATH Keywords

heuristic searchdiscrete event systemson-the-flydirected control

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• Compositional verification in supervisory control
• scientific article; zbMATH DE number 4101059
• Heuristic supervision of discrete event systems
• Supervisory control of discrete event systems

Cites work

• scientific article; zbMATH DE number 6519681 (Why is no real title available?)
• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• Binary Decision Diagrams
• Compositional Supervisory Control via Reactive Synthesis and Automated Planning
• Modular supervisory control of discrete-event systems
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Optimal Nonblocking Directed Control of Discrete Event Systems
• Planning and control in artificial intelligence: A unifying perspective
• Supervisory Control of a Class of Discrete Event Processes
• Synthesis of Reactive(1) designs

Describes a project that uses

Uses Software

• Supremica
• MTSA
• UMDES

This page was built for publication: On-the-fly informed search of non-blocking directed controllers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2103713)