| Publication | Date of Publication | Type |
|---|
Nonexistence of upper bound to inferencing level in decentralized discrete event control
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
Discrete Event Dynamic Systems | 2018-10-08 | Paper |
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Decentralized Prognosis of Failures in Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Inference-Based Decentralized Prognosis in Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Real-Time Control of Dense-Time Systems Using Digital-Clocks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Optimal Nonblocking Directed Control of Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
A Framework for Fault-Tolerant Control of Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Synthesis of Inference-Based Decentralized Control for Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Bisimilarity Control of Partially Observed Deterministic Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Characterization of co-observable languages and formulas for their super/sublanguages
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Controlled Markov chains with safety upper bound
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Optimal sensor selection for discrete-event systems with partial observation
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Stochastic Failure Prognosability of Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Comments on ``Polynomial time verification of decentralized diagnosability of discrete event systems'' versus ``Decentralized failure diagnosis of discrete event systems'': complexity clarification
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm'' [automatica 47 (2011) 782-788]
Automatica | 2014-10-17 | Paper |
Semantic translation of Simulink diagrams to input/output extended finite automata
Discrete Event Dynamic Systems | 2012-07-10 | Paper |
Maximally permissive mutually and globally nonblocking supervision with application to switching control
Automatica | 2005-12-08 | Paper |
Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism
Mathematical and Computer Modelling of Dynamical Systems | 2004-05-27 | Paper |
Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
Mathematical and Computer Modelling of Dynamical Systems | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1836393 (Why is no real title available?) | 2003-04-21 | Paper |
A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems
Mathematical and Computer Modelling of Dynamical Systems | 2003-02-19 | Paper |
A polynomial algorithm for testing diagnosability of discrete-event systems
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
Control of stochastic discrete event systems modeled by probabilistic languages
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
Mutually nonblocking supervisory control of discrete event systems
Automatica | 2001-09-02 | Paper |
Masked prioritized synchronization for interaction and control of discrete event systems
IEEE Transactions on Automatic Control | 2001-08-05 | Paper |
A probabilistic language formalism for stochastic discrete-event systems
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
Extension based limited lookahead supervision of discrete event systems
Automatica | 2000-06-27 | Paper |
Formulae relating controllability, observability, and co-observability
Automatica | 1999-04-23 | Paper |
Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
SIAM Journal on Control and Optimization | 1998-11-05 | Paper |
A discrete event systems approach for protocol conversion
Discrete Event Dynamic Systems | 1997-09-18 | Paper |
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
IEEE Transactions on Automatic Control | 1997-07-08 | Paper |
Extremal solutions of inequations over lattices with applications to supervisory control
Theoretical Computer Science | 1997-02-28 | Paper |
Supervisory control of deterministic Petri nets with regular specification languages
IEEE Transactions on Automatic Control | 1996-06-13 | Paper |
Corrections to "Finite buffer realization of input-output discrete event systems"
IEEE Transactions on Automatic Control | 1996-01-01 | Paper |
Finite buffer realization of input-output discrete-event systems
IEEE Transactions on Automatic Control | 1995-11-09 | Paper |
| scientific article; zbMATH DE number 744042 (Why is no real title available?) | 1995-08-27 | Paper |
Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
SIAM Journal on Control and Optimization | 1995-08-27 | Paper |
| scientific article; zbMATH DE number 781092 (Why is no real title available?) | 1995-08-01 | Paper |
Optimal Supervisory Control of Discrete Event Dynamical Systems
SIAM Journal on Control and Optimization | 1995-05-11 | Paper |
Language Stability and Stabilizability of Discrete Event Dynamical Systems
SIAM Journal on Control and Optimization | 1994-04-20 | Paper |
| scientific article; zbMATH DE number 409884 (Why is no real title available?) | 1993-09-13 | Paper |
Predicates and predicate transformers for supervisory control of discrete event dynamical systems
IEEE Transactions on Automatic Control | 1993-08-12 | Paper |
On supervisory control of sequential behaviors
IEEE Transactions on Automatic Control | 1993-08-12 | Paper |
On controllability and normality of discrete event dynamical systems
Systems & Control Letters | 1992-09-26 | Paper |
Formulas for calculating supremal controllable and normal sublanguages
Systems & Control Letters | 1990-01-01 | Paper |
