Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Modular Control and Coordination of Discrete-Event Systems
Discrete Event Dynamic Systems
Supervisory Control of Distributed Systems: Conflict Resolution
Discrete Event Dynamic Systems
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
Control Synthesis of Hybrid Systems Based on Predicate Invariance
Hybrid Systems V
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Reduction of constraints for controller synthesis based on safe Petri Nets
Automatica (Journal of IFAC)
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Supervisory control of discrete event systems with state-dependent controllability
International Journal of Systems Science
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Discrete Event Dynamic Systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Modeling and simulation of an experimental manufacturing cell
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Brief paper: Controller synthesis for safety and reachability via approximate bisimulation
Automatica (Journal of IFAC)
Discrete Event Dynamic Systems
Brief Paper: Mixed centralized/decentralized supervisory control of discrete event dynamic systems
Automatica (Journal of IFAC)
Control-invariance of hybrid systems with forcible events
Automatica (Journal of IFAC)
Syntax-based synthesis for temporal-safety supervision
Automatica (Journal of IFAC)
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Application of supervisory control theory to theme park vehicles
Discrete Event Dynamic Systems
| Hi-index | 0.02 |