| Publication | Date of Publication | Type |
|---|
Optimal synthesis of opacity-enforcing supervisors for qualitative and quantitative specifications
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Distributed fault diagnosis in discrete event systems with transmission delay impairments
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Contribution functions for quantitative bipolar argumentation graphs: a principle-based analysis
International Journal of Approximate Reasoning | 2024-09-02 | Paper |
A unified framework for verification of observational properties for partially-observed discrete-event systems
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
A uniform framework for diagnosis of discrete-event systems with unreliable sensors using linear temporal logic
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Opacity enforcement via greedy privately-and-publicly known insertion functions
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2024-06-18 | Paper |
Optimal supervisory control of discrete event systems for cyclic tasks
Automatica | 2024-06-05 | Paper |
On the verification of detectability for timed discrete event systems
Automatica | 2024-06-05 | Paper |
Sensor deception attacks against security in supervisory control systems
Automatica | 2024-05-14 | Paper |
Enforcing opacity by insertion functions under multiple energy constraints
Automatica | 2024-02-20 | Paper |
Model predictive monitoring of dynamical systems for signal temporal logic specifications
Automatica | 2024-02-13 | Paper |
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Reconstruction of pitchfork bifurcation with exogenous disturbances based on equivalent-input-disturbance approach
Nonlinear Dynamics | 2023-08-16 | Paper |
Disturbance rejection and performance analysis for nonlinear systems based on nonlinear equivalent-input-disturbance approach
Nonlinear Dynamics | 2023-08-09 | Paper |
Online Supervisory Control of Networked Discrete Event Systems With Control Delays
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
Local Mean Payoff Supervisory Control for Discrete Event Systems
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
A framework for current-state opacity under dynamic information release mechanism
Automatica | 2022-04-14 | Paper |
Disturbance rejection using SMC-based-equivalent-input-disturbance approach
Applied Mathematics and Computation | 2022-01-27 | Paper |
Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
Automatica | 2022-01-07 | Paper |
Marking diagnosability verification in labeled Petri nets
Automatica | 2021-11-19 | Paper |
Marking Predictability and Prediction in Labeled Petri Nets
IEEE Transactions on Automatic Control | 2021-09-09 | Paper |
On Approximate Opacity of Cyber-Physical Systems
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'
Automatica | 2021-04-20 | Paper |
An improved approach for verifying delayed detectability of discrete-event systems
Automatica | 2021-04-20 | Paper |
Optimal supervisory control with mean payoff objectives and under partial observation
Automatica | 2021-04-12 | Paper |
Chaos suppression in speed control for permanent-magnet-synchronous-motor drive system
Journal of the Franklin Institute | 2020-12-31 | Paper |
Synthesis of Dynamic Masks for Infinite-Step Opacity
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Extension theorem of impulsive control and its applications
| 2020-08-12 | Paper |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
Robust Fault Diagnosis of Stochastic Discrete Event Systems
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
A general approach for optimizing dynamic sensor activation for discrete event systems
Automatica | 2019-12-19 | Paper |
Block-based minimum input design for the structural controllability of complex networks
Automatica | 2019-12-19 | Paper |
Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938]
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Automatica | 2019-04-24 | Paper |
Deciding detectability for labeled Petri nets
Automatica | 2019-04-24 | Paper |
Trajectory detectability of discrete-event systems
Systems \& Control Letters | 2019-02-27 | Paper |
Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
Automatica | 2019-02-05 | Paper |
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
IEEE Transactions on Automatic Control | 2018-12-18 | Paper |
Minimization of Sensor Activation in Decentralized Discrete-Event Systems
IEEE Transactions on Automatic Control | 2018-12-04 | Paper |
Bifurcation analysis and chaotic behavior of a discrete-time delayed genetic oscillator model
Advances in Difference Equations | 2018-12-04 | Paper |
scientific article; zbMATH DE number 6936874 (Why is no real title available?)
| 2018-09-14 | Paper |
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
IEEE Transactions on Automatic Control | 2017-11-10 | Paper |
Verification complexity of a class of observational properties for modular discrete events systems
Automatica | 2017-11-08 | Paper |
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
Automatica | 2017-09-28 | Paper |
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
Automatica | 2017-09-28 | Paper |
Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Decentralized Supervisory Control With Intersection-Based Architecture
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Modeling concurrency with interval traces
Information and Computation | 2017-03-16 | Paper |
Decentralized fault prognosis of discrete event systems with guaranteed performance bound
Automatica | 2016-05-20 | Paper |
Codiagnosability and coobservability under dynamic observations: transformation and verification
Automatica | 2015-12-22 | Paper |
Modeling interval order structures with partially commutative monoids
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Quadtree representation and compression of spatial data
Transactions on Rough Sets XIII | 2011-02-11 | Paper |
scientific article; zbMATH DE number 2058270 (Why is no real title available?)
| 2004-03-16 | Paper |
scientific article; zbMATH DE number 1782859 (Why is no real title available?)
| 2002-08-18 | Paper |
