| Publication | Date of Publication | Type |
|---|
Improved synthesis of nondeterministic publicly known edit functions for opacity enforcement
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
Global and local error-tolerant decentralized state estimation under partially ordered observations
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
Privacy-preserving distributed state estimation: a modified paillier cryptosystem-based approach
Automatica | 2026-03-05 | Paper |
Efficient iterative deadlock prevention for flexible manufacturing systems utilizing modified resource requirement graphs
Automatica | 2025-12-15 | Paper |
Detectability notions for a class of finite labeled Markovian systems
Nonlinear Analysis. Hybrid Systems | 2025-06-27 | Paper |
Average consensus for expressed and private opinions
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Event concealment and concealability enforcement in discrete event systems under partial observation
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Trustworthy distributed average consensus based on locally assessed trust evaluations
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Verification of state-based timed opacity for constant-time labeled automata
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
Automatica | 2025-01-08 | Paper |
Invariant properties of linear-iterative distributed averaging algorithms and application to error detection
European Journal of Control | 2024-12-12 | Paper |
Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
Information Sciences | 2024-11-28 | Paper |
State estimation for constant-time labeled automata under dense time
Automatica | 2024-11-04 | Paper |
Correction to: ``Current-state opacity formulations in probabilistic finite automata''
IEEE Transactions on Automatic Control | 2024-08-16 | Paper |
Opacity enforcement via greedy privately-and-publicly known insertion functions
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Finite time quantized average consensus with transmission stopping guarantees and no quantization error
Automatica | 2024-05-30 | Paper |
A geometrical approach for consensus security
Systems & Control Letters | 2024-05-17 | Paper |
Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints
IEEE Transactions on Automatic Control | 2024-02-22 | Paper |
Diagnosability of fault patterns with labeled stochastic Petri nets
Information Sciences | 2024-02-05 | Paper |
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints
IEEE Transactions on Automatic Control | 2024-01-26 | Paper |
Distributed computation of exact average degree and network size in finite time under quantized communication
European Journal of Control | 2023-11-23 | Paper |
Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver
IEEE Transactions on Automatic Control | 2023-10-09 | Paper |
Finite-Time Distributed Flow Balancing
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
IEEE Transactions on Automatic Control | 2023-09-24 | Paper |
Distributed Negotiation for Reaching Agreement Among Reluctant Players in Cooperative Multiagent Systems
IEEE Transactions on Automatic Control | 2023-09-21 | Paper |
Fast Coordination of Distributed Energy Resources Over Time-Varying Communication Networks
IEEE Transactions on Automatic Control | 2023-09-06 | Paper |
Probabilistic verification of diagnosability for a certain class of timed stochastic systems
Systems & Control Letters | 2023-07-13 | Paper |
Secure gossip against intermittently malicious agents
Systems & Control Letters | 2023-01-05 | Paper |
Non-oscillating quantized average consensus over dynamic directed topologies
Automatica | 2022-11-14 | Paper |
Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection''
Discrete Event Dynamic Systems | 2022-10-12 | Paper |
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Discrete Event Dynamic Systems | 2022-04-21 | Paper |
Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Observers for a Class of Timed Automata Based on Elapsed Time Graphs
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Distributed Balancing Under Flow Constraints Over Arbitrary Communication Topologies
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Nonconcurrent Error Correction in the Presence of Roundoff Noise
IEEE Transactions on Circuits and Systems I: Regular Papers | 2021-09-02 | Paper |
Jump LQR Systems With Unknown Transition Probabilities
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
Event-Triggered Quantized Average Consensus via Ratios of Accumulated Values
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Distributed Integer Balancing Under Weight Constraints in the Presence of Transmission Delays
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Privacy-Preserving Distributed Averaging via Homomorphically Encrypted Ratio Consensus
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Distributed C-Means Clustering Via Broadcast-Only Token Passing
IEEE Transactions on Control of Network Systems | 2020-10-05 | Paper |
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
Discrete Event Dynamic Systems | 2020-09-01 | Paper |
Distributed Flow Network Balancing With Minimal Effort
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
Estimation and inference in discrete event systems. A model-based approach with finite automata
Communications and Control Engineering | 2019-11-14 | Paper |
Distributed Balancing With Constrained Integer Weights
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
Distributed Integer Weight Balancing in the Presence of Time Delays in Directed Graphs
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Distributed Stopping for Average Consensus in Digraphs
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Distributed Calculation of Edge-Disjoint Spanning Trees for Robustifying Distributed Algorithms Against Man-in-the-Middle Attacks
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Distributed Balancing of Commodity Networks Under Flow Interval Constraints
IEEE Transactions on Automatic Control | 2019-01-28 | Paper |
Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
IEEE Transactions on Automatic Control | 2018-12-19 | Paper |
Distributed average consensus in digraphs
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
Distributed Cycle Detection and Removal
IEEE Transactions on Control of Network Systems | 2018-12-04 | Paper |
Probabilistic system opacity in discrete event systems
Discrete Event Dynamic Systems | 2018-10-08 | Paper |
Determination of the Number of Errors in DFT Codes Subject to Low-Level Quantization Noise
IEEE Transactions on Signal Processing | 2018-06-27 | Paper |
A Robust Control Approach to Perfect Reconstruction of Digital Signals
IEEE Transactions on Signal Processing | 2018-06-27 | Paper |
Fault-Tolerant Convolution Via Chinese Remainder Codes Constructed From Non-Coprime Moduli
IEEE Transactions on Signal Processing | 2018-06-27 | Paper |
Verification of detectability in probabilistic finite automata
Automatica | 2017-11-17 | Paper |
Distributed Weight Balancing Over Digraphs
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Distributed Finite-Time Average-Consensus With Limited Computational and Storage Capability
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Distributed Finite-Time Computation of Digraph Parameters: Left-Eigenvector, Out-Degree and Spectrum
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Distributed Finite-Time Average Consensus in Digraphs in the Presence of Time Delays
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Structural Controllability and Observability of Linear Systems Over Finite Fields With Applications to Multi-Agent Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Distributed Matrix Scaling and Application to Average Consensus in Directed Graphs
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Verification of Infinite-Step Opacity and Complexity Considerations
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Minimum Initial Marking Estimation in Labeled Petri Nets
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Distributed Function Calculation via Linear Iterative Strategies in the Presence of Malicious Agents
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Nonconcurrent error detection and correction in fault-tolerant discrete-time LTI dynamic systems
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications | 2017-08-25 | Paper |
Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Sensor Selection for Structural Observability in Discrete Event Systems Modeled by Petri Nets
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Delayed Observers for Linear Systems With Unknown Inputs
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Approximation of Markov Processes by Lower Dimensional Processes via Total Variation Metrics
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Marking Observer in Labeled Petri Nets With Application to Supervisory Control
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Algebraic approaches for fault identification in discrete-event systems
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Finite-state machine embeddings for nonconcurrent error detection and identification
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Encoded dynamics for fault tolerance in linear finite-state machines
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Average Consensus in the Presence of Delays in Directed Graph Topologies
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Current-State Opacity Formulations in Probabilistic Finite Automata
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Probabilistic Marking Estimation in Labeled Petri Nets
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Robust Distributed Average Consensus via Exchange of Running Sums
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Distributed stopping for average consensus in undirected graphs via event-triggered strategies
Automatica | 2016-06-03 | Paper |
Distributed finite-time calculation of node eccentricities, graph radius and graph diameter
Systems & Control Letters | 2016-05-20 | Paper |
Distributed resource coordination in networked systems described by digraphs
Systems & Control Letters | 2015-12-21 | Paper |
Detectability in stochastic discrete event systems
Systems & Control Letters | 2015-12-07 | Paper |
Verification of initial-state opacity in security applications of discrete event systems
Information Sciences | 2015-09-23 | Paper |
Fault model identification and synthesis in Petri nets
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
Discrete Event Dynamic Systems | 2015-02-23 | Paper |
| Team and Person-by-Person Optimality Conditions of Differential Decision Systems | 2013-05-20 | Paper |
| Structured redundancy for fault tolerance in state-space models and Petri nets. | 2013-03-21 | Paper |
Fault diagnosis in discrete event systems modeled by partially observed Petri nets
Discrete Event Dynamic Systems | 2010-01-18 | Paper |
Partial state observers for linear systems with unknown inputs
Automatica | 2009-01-21 | Paper |
Coding Approaches to Fault Tolerance in Linear Dynamic Systems
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Soft-Decision Decoding Using Ordered Recodings on the Most Reliable Basis
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Soft-Decision Decoding of Linear Block Codes Using Preprocessing and Diversification
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
The d-Identifying Codes Problem for Vertex Identification in Graphs: Probabilistic Analysis and an Approximation Algorithm
Lecture Notes in Computer Science | 2007-09-10 | Paper |
Error detection and correction in switched linear controllers via periodic and non-concurrent checks
Automatica | 2007-08-23 | Paper |
On solving composite power polynomial equations
Mathematics of Computation | 2005-03-01 | Paper |
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
Automatica | 2005-01-31 | Paper |
Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
Journal of the Franklin Institute | 2003-04-02 | Paper |
On the complexity of parallelizing sequential circuits using the parallel-prefix method
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications | 2002-07-21 | Paper |
Coding approaches to fault tolerance in combinational and dynamic systems
The Kluwer International Series in Engineering and Computer Science | 2002-02-06 | Paper |
| scientific article; zbMATH DE number 1341755 (Why is no real title available?) | 2000-04-13 | Paper |
Bounds on the size of minimal nonnegative realizations for discrete-time LTI systems
Systems & Control Letters | 1999-06-21 | Paper |
