On Distributed and Parameterized Supervisor Synthesis Problems

DOI10.1109/TAC.2015.2447193MaRDI QIDQ2980644zbMATH OpenOpenAlexFDO

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)