On Distributed and Parameterized Supervisor Synthesis Problems

DOI10.1109/TAC.2015.2447193zbMATH Open1359.93285OpenAlexW2289854031MaRDI QIDQ2980644FDOQ2980644

Authors: Liyong Lin, Alin Stefanescu, Rong Su 

Publication date: 3 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2015.2447193

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Distributed systems (68M14)

Cited In (4)

• On coparanormality in distributed supervisory control of discrete-event systems
• Path planning for robotic teams based on LTL specifications and Petri net models
• Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
• Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

This page was built for publication: On Distributed and Parameterized Supervisor Synthesis Problems

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