| Publication | Date of Publication | Type |
|---|
Concealability analysis for current-state opacity enforcement via editing functions
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
A joint diagnoser approach for diagnosability of discrete event systems under attack
Automatica | 2025-01-16 | Paper |
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks
IEEE Transactions on Automatic Control | 2023-09-04 | Paper |
Discrete-Time Dynamic Consensus on the Max Value
Lecture Notes in Control and Information Sciences - Proceedings | 2022-11-29 | 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 |
Consistent reduction in discrete-event systems
Automatica | 2022-07-05 | Paper |
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Discrete Event Dynamic Systems | 2022-04-21 | Paper |
Design of supervisors for linear marking specifications in labeled Petri nets
Automatica | 2022-01-03 | Paper |
Diagnosability enforcement in labeled Petri nets using supervisory control
Automatica | 2021-11-19 | Paper |
Verification of Detectability for Unambiguous Weighted Automata
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
Automatica | 2020-11-03 | Paper |
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Marking Estimation in a Class of Time Labeled Petri Nets
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
On detectability of labeled Petri nets and finite automata
Discrete Event Dynamic Systems | 2020-09-01 | Paper |
Active diagnosis for switched systems using Mealy machine modeling
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems | 2020-08-20 | Paper |
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems
Automatica | 2020-06-10 | Paper |
Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
Discrete Event Dynamic Systems | 2020-05-06 | Paper |
Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
An improved approach for marking optimization of timed weighted marked graphs
Discrete Event Dynamic Systems | 2020-01-22 | Paper |
State estimation of max-plus automata with unobservable events
Automatica | 2019-12-19 | Paper |
| Basis coverability graph for partially observable Petri nets with application to diagnosability analysis | 2019-12-18 | Paper |
| Revisiting delayed strong detectability of discrete-event systems | 2019-10-30 | Paper |
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
Influence minimization in linear threshold networks
Automatica | 2019-04-24 | Paper |
On the complexity and dynamical properties of mixed logical dynamical systems via an automaton-based realization of discrete-time hybrid automaton
International Journal of Robust and Nonlinear Control | 2018-11-16 | Paper |
Current-state opacity enforcement in discrete event systems under incomparable observations
Discrete Event Dynamic Systems | 2018-10-08 | Paper |
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
Codiagnosability Analysis of Bounded Petri Nets
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
On the enforcement of a class of nonlinear constraints on Petri nets
Automatica | 2018-01-12 | Paper |
Decentralized observability of discrete event systems with synchronizations
Automatica | 2017-11-22 | Paper |
Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks
Nonlinear Analysis. Hybrid Systems | 2017-11-16 | Paper |
Decidability of opacity verification problems in labeled Petri net systems
Automatica | 2017-09-28 | Paper |
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Verification of State-Based Opacity Using Petri Nets
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Optimal Model Predictive Control of Timed Continuous Petri Nets
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Optimal Control of Continuous-Time Switched Affine Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
An Optimization Approach to Petri Net Monitor Design
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Marking Estimation of Petri Nets With Silent Transitions
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Finite-Time Consensus on the Median Value With Robustness Properties
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Observability of place/transition nets
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
On the Equivalence of Observation Structures for Petri Net Generators
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Leader-follower formation via complex Laplacian
Automatica | 2017-04-19 | Paper |
Petri net controllers for generalized mutual exclusion constraints with floor operators
Automatica | 2016-11-14 | Paper |
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
Discrete Event Dynamic Systems | 2016-03-29 | Paper |
Fast discrete consensus based on gossip for makespan minimization in networked systems
Automatica | 2015-11-05 | Paper |
IPA for continuous stochastic marked graphs
Automatica | 2015-08-27 | Paper |
Fault model identification and synthesis in Petri nets
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
Automatica | 2015-04-28 | Paper |
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
Discrete Event Dynamic Systems | 2015-02-23 | Paper |
Supervisory Control of Petri Nets with Language Specifications
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Structural analysis of Petri nets
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Petri nets with time
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Diagnosis of Petri Nets
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Introduction to Petri nets
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Dynamics and steady state analysis of controlled generalized batches Petri nets
Nonlinear Analysis. Hybrid Systems | 2014-07-25 | Paper |
Finite-time consensus for switching network topologies with disturbances
Nonlinear Analysis. Hybrid Systems | 2014-07-24 | Paper |
Stabilization of switched systems via optimal control
Nonlinear Analysis. Hybrid Systems | 2014-07-24 | Paper |
Decentralized estimation of Laplacian eigenvalues in multi-agent systems
Automatica | 2014-04-14 | Paper |
In memoriam of Professor V. Lakshmikantham
Nonlinear Analysis. Hybrid Systems | 2013-08-27 | Paper |
Special issue on recent trends in discrete event systems
Discrete Event Dynamic Systems | 2013-07-09 | Paper |
Quantized consensus in Hamiltonian graphs
Automatica | 2011-11-17 | Paper |
State Estimation and Fault Detection Using Petri Nets
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems
Nonlinear Analysis. Hybrid Systems | 2011-06-27 | Paper |
Fault detection for discrete event systems using Petri nets with unobservable transitions
Automatica | 2010-10-22 | Paper |
Constrained optimal control: an application to semiactive suspension systems
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2010-10-15 | Paper |
Analisi dei sistemi dinamici
UNITEXT | 2010-03-09 | Paper |
First-order hybrid Petri nets. An application to distributed manufacturing systems
Nonlinear Analysis. Hybrid Systems | 2009-03-04 | Paper |
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
Identification of Petri nets from knowledge of their language
Discrete Event Dynamic Systems | 2008-01-04 | Paper |
| A system theory view of Petri nets | 2007-08-29 | Paper |
| scientific article; zbMATH DE number 5150815 (Why is no real title available?) | 2007-05-09 | Paper |
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
Automatica | 2006-12-14 | Paper |
Optimal control of discrete-time hybrid automata under safety and liveness constraints
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2006-07-20 | Paper |
Control of safe ordinary Petri nets using unfolding
Discrete Event Dynamic Systems | 2006-02-23 | Paper |
Modelling and simulation of a bottling plant using hybrid Petri nets
International Journal of Production Research | 2005-08-25 | Paper |
State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
Discrete Event Dynamic Systems | 2005-04-25 | Paper |
| scientific article; zbMATH DE number 2144774 (Why is no real title available?) | 2005-03-14 | Paper |
Optimal stationary behavior for a class of timed continuous Petri nets
Automatica | 2004-10-04 | Paper |
Modelling and simulation of manufacturing systems with first-order hybrid Petri nets
International Journal of Production Research | 2003-08-26 | Paper |
Firing rate optimization of cyclic timed event graphs by token allocations
Automatica | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1836370 (Why is no real title available?) | 2003-04-24 | Paper |
| scientific article; zbMATH DE number 1820092 (Why is no real title available?) | 2002-12-16 | Paper |
| scientific article; zbMATH DE number 1820094 (Why is no real title available?) | 2002-12-16 | Paper |
Observer-Controller Design for Three Dimensional Overhead Cranes Using Time-Scaling
Mathematical and Computer Modelling of Dynamical Systems | 2002-10-31 | Paper |
Model reduction of finite-state machines by contraction
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
Observer-controller design for cranes via Lyapunov equivalence
Automatica | 2002-02-13 | Paper |
Decidability results in first-order hybrid Petri nets
Discrete Event Dynamic Systems | 2001-10-16 | Paper |
A mixed suspension system for a half-car vehicle model
Dynamics and Control | 2001-09-06 | Paper |
Petri net languages and infinite subsets of \(\mathbb{N}^m\)
Journal of Computer and System Sciences | 2000-03-19 | Paper |
Deterministic weak-and-marked Petri net languages are regular
IEEE Transactions on Automatic Control | 1997-07-16 | Paper |
Decidability and closure properties of weak Petri net languages in supervisory control
IEEE Transactions on Automatic Control | 1995-11-09 | Paper |
Blocking and controllability of Petri nets in supervisory control
IEEE Transactions on Automatic Control | 1994-11-01 | Paper |
