Branching time controllers for discrete event systems
Theoretical Computer Science
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
Discrete Event Dynamic Systems
Control of discrete-event systems with modular or distributed structure
Theoretical Computer Science
State space approach to security quantification
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica (Journal of IFAC)
Extension based Limited Lookahead Supervision of Discrete Event Systems
Automatica (Journal of IFAC)
Brief Mutually nonblocking supervisory control of discrete event systems
Automatica (Journal of IFAC)
Joint state and event observers for linear switching systems under irregular sampling
Automatica (Journal of IFAC)
Hi-index | 0.01 |