Why Event Observation: Observability Revisited
Discrete Event Dynamic Systems
A Nondeterministic Extension over Finitely Recursive ProcessModel
Discrete Event Dynamic Systems
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Discrete Event Dynamic Systems
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences—Informatics and Computer Science: An International Journal
Optimal supervisory control under partial observation
International Journal of Systems Science
A decidable class of problems for control under partial observation
Information Processing Letters
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
State observability and condition observability for a class of interacting discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Multi-model approach to discrete events systems: application to operating mode management
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Fault diagnosis in discrete time hybrid systems - A case study
Information Sciences: an International Journal
A polynomial dynamic system approach to software design for attractivity requirement
Information Sciences: an International Journal
Non-Interference Control Synthesis for Security Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Discrete control for safe execution of IT automation workflows
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Decision making in fuzzy discrete event systems
Information Sciences: an International Journal
Control of discrete-event systems with modular or distributed structure
Theoretical Computer Science
Flexible jacket matrices for cooperative multi-agent network
MUSP'07 Proceedings of the 7th WSEAS International Conference on Multimedia Systems & Signal Processing
The relationship of controllability between classical and fuzzy discrete-event systems
Information Sciences: an International Journal
Implementation of supervisory control using extended finite-state machines
International Journal of Systems Science
State estimation and detectability of probabilistic discrete event systems
Automatica (Journal of IFAC)
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Bridging the gap: Discrete-Event Systems for software engineering (short position paper)
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Towards synthesizing optimal coordination modules for distributed agents
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Supervisory Control of (max,+) Automata: A Behavioral Approach
Discrete Event Dynamic Systems
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
Fuzzy discrete-event systems under fuzzy observability and a test algorithm
IEEE Transactions on Fuzzy Systems
IEEE Transactions on Fuzzy Systems
Discrete event control under nondeterministic partial observation
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Lyapunov Stability of Fuzzy Discrete Event Systems
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
ACC'09 Proceedings of the 2009 conference on American Control Conference
Verification and synthesis for secrecy in discrete-event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
A decidable class of problems for control under partial observation
Information Processing Letters
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences: an International Journal
State observability and condition observability for a class of interacting discrete event systems
Mathematics and Computers in Simulation
Multi-Model approach to discrete events systems: Application to operating mode management
Mathematics and Computers in Simulation
Supervisor control for fuzzy discrete event system with blocking
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 6
State-feedback control of fuzzy discrete-event systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on game theory
Opacity of discrete event systems and its applications
Automatica (Journal of IFAC)
A summary of some discrete-event system control problems
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems
A coalgebraic approach to supervisory control of partially observed mealy automata
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Control of modular and distributed discrete-event systems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
From classic observability to a simple fuzzy observability for fuzzy discrete-event systems
Information Sciences: an International Journal
Journal of Computer and System Sciences
Discrete Event Dynamic 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
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Extension based Limited Lookahead Supervision of Discrete Event Systems
Automatica (Journal of IFAC)
Brief paper: Formulae relating controllability, observability, and co-observability
Automatica (Journal of IFAC)
Brief On optimal control of a class of partially observed discrete event systems
Automatica (Journal of IFAC)
Incremental model evolution and reusability of supervisors for discrete event systems
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Joint state and event observers for linear switching systems under irregular sampling
Automatica (Journal of IFAC)
Verification of initial-state opacity in security applications of discrete event systems
Information Sciences: an International Journal
Comparative analysis of related notions of opacity in centralized and coordinated architectures
Discrete Event Dynamic Systems
On modeling of fuzzy hybrid systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.02 |