Design of nonblocking modular supervisors using event priority functions
From MaRDI portal
Publication:4507068
DOI10.1109/9.847723zbMath0972.93041OpenAlexW2172013120MaRDI QIDQ4507068
Feng Lin, Stéphane Lafortune, Yi Liang Chen
Publication date: 17 October 2000
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/6b6b7e2f350dd8117899f04c0bb76f5ce13f41ce
supervisory controldiscrete-event systemspriorityspecificationsblocking resolutionmodular control with priorities
Design techniques (robust design, computer-aided design, etc.) (93B51) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Related Items
Incremental model evolution and reusability of supervisors for discrete event systems, Mutually nonblocking supervisory control of discrete event systems, Maximally permissive mutually and globally nonblocking supervision with application to switching control, Progressive events in supervisory control and compositional verification