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

DOI10.1016/J.AUTOMATICA.2022.110731zbMATH Open1505.93149OpenAlexW4309495345MaRDI QIDQ2103713FDOQ2103713

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

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

zbMATH Keywords

heuristic searchdiscrete event systemson-the-flydirected control

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Cites Work

• Supervisory Control of a Class of Discrete Event Processes
• Title not available (Why is that?)
• Binary Decision Diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Synthesis of Reactive(1) designs
• Modular supervisory control of discrete-event systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Optimal Nonblocking Directed Control of Discrete Event Systems
• Planning and control in artificial intelligence: A unifying perspective
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Uses Software

• UMDES
• MSTA
• Supremica

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)