Why Event Observation: Observability Revisited
Discrete Event Dynamic Systems
Modular Control and Coordination of Discrete-Event Systems
Discrete Event Dynamic Systems
Synthesis of Controllers of Processes Modeled as ColoredPetri Nets
Discrete Event Dynamic Systems
Supervisory Control of Distributed Systems: Conflict Resolution
Discrete Event Dynamic Systems
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Undecidable problems of decentralized observation and control on regular languages
Information Processing Letters
A polynomial dynamic system approach to software design for attractivity requirement
Information Sciences: an International Journal
Supervisory control of discrete event systems with state-dependent controllability
International Journal of Systems Science
Sequential optimality and coordination in multiagent systems
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Information Sciences: an International Journal
A Petri net-based model for verification of obligations and accountability in cooperative systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Fuzzy Systems
On the Computation of Natural Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Modeling and simulation of an experimental manufacturing cell
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Reliable decentralized supervisory control of fuzzy discrete event systems
Fuzzy Sets and Systems
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems
A decentralized supervisory control approach for distributed adaptive systems
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Brief Paper: Mixed centralized/decentralized supervisory control of discrete event dynamic systems
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Incremental model evolution and reusability of supervisors for discrete event systems
Automatica (Journal of IFAC)
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Verification of initial-state opacity in security applications of discrete event systems
Information Sciences: an International Journal
On modeling of fuzzy hybrid systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.01 |