Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
Modular Control and Coordination of Discrete-Event Systems
Discrete Event Dynamic Systems
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
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
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Control of Interval Temporal Systems
Hybrid Systems V
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Supervisor Reduction for Discrete-Event Systems
Discrete Event Dynamic Systems
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Discrete Event Dynamic Systems
Multitasking Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Progressive solutions to a parallel automata equation
Theoretical Computer Science
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design
Control of discrete-event systems with modular or distributed structure
Theoretical Computer Science
Supervisory control of discrete event systems with state-dependent controllability
International Journal of Systems Science
Towards synthesizing optimal coordination modules for distributed agents
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Fuzzy discrete-event systems under fuzzy observability and a test algorithm
IEEE Transactions on Fuzzy Systems
Verification and synthesis for secrecy in discrete-event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
A dynamic programming approach to multi-level supervision
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation
Modeling and simulation of an experimental manufacturing cell
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
Reliable decentralized supervisory control of fuzzy discrete event systems
Fuzzy Sets and Systems
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
Automatica (Journal of IFAC)
DES modelling and control vs. problem solving methods
International Journal of Intelligent Information and Database Systems
Multi-level hierarchical interface-based supervisory control
Automatica (Journal of IFAC)
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
ROCOM'11/MUSP'11 Proceedings of the 11th WSEAS international conference on robotics, control and manufacturing technology, and 11th WSEAS international conference on Multimedia systems & signal processing
Technical communique: String execution time for finite languages: Max is easy, min is hard
Automatica (Journal of IFAC)
Control of modular and distributed discrete-event systems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Component-Based Software Development for Embedded Systems
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Automatica (Journal of IFAC)
Brief Paper: Mixed centralized/decentralized supervisory control of discrete event dynamic systems
Automatica (Journal of IFAC)
Brief Pole structure assignment via non-regular static state feedback
Automatica (Journal of IFAC)
Brief Mutually nonblocking supervisory control of discrete event systems
Automatica (Journal of IFAC)
Linear control of live marked graphs
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
A logical DES approach to the design of hybrid control systems
Mathematical and Computer Modelling: An International Journal
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Automatica (Journal of IFAC)
On supervising agents in situation-determined ConGolog
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Modeling the supervisory control theory with alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Automatic behavior composition synthesis
Artificial Intelligence
Supremal realizability of behaviors with uncontrollable exogenous events
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Centralised controller for manufacturing systems through liveness extraction approach
International Journal of Systems, Control and Communications
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
Hi-index | 0.02 |