On Distributed and Parameterized Supervisor Synthesis Problems

DOI10.1109/TAC.2015.2447193zbMath1359.93285OpenAlexW2289854031MaRDI QIDQ2980644

Alin Stefanescu, Liyong Lin, 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)

Related Items

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