| Publication | Date of Publication | Type |
|---|
Noninterference analysis of bounded Petri nets using basis reachability graph
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
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 |
Verification of pattern-pattern diagnosability in partially observed discrete event systems
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Tracking control by the Newton–Raphson method with output prediction and controller speedup
International Journal of Robust and Nonlinear Control | 2024-03-20 | Paper |
Codiagnosability Enforcement in Labeled Petri Nets
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets
IEEE Transactions on Automatic Control | 2023-09-24 | 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 |
Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
Automatica | 2022-04-14 | Paper |
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
Verification of C-detectability using Petri nets
Information Sciences | 2021-05-03 | Paper |
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
Information Sciences | 2021-02-04 | Paper |
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
A decision making procedure for robust train rescheduling based on mixed integer linear programming and data envelopment analysis
Applied Mathematical Modelling | 2020-02-12 | 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 |
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
| Basis coverability graph for partially observable Petri nets with application to diagnosability analysis | 2019-12-18 | Paper |
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
Current-state opacity enforcement in discrete event systems under incomparable observations
Discrete Event Dynamic Systems | 2018-10-08 | Paper |
Performance regulation in discrete event and hybrid dynamical systems using IPA
European Journal of Control | 2018-08-21 | Paper |
Codiagnosability Analysis of Bounded Petri Nets
IEEE Transactions on Automatic Control | 2018-06-27 | 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 |
| Performance Regulation and Tracking via Lookahead Simulation: Preliminary Results and Validation | 2017-08-14 | 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 |
Marking Estimation of Petri Nets With Silent Transitions
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Diagnosability Analysis of Labeled Time Petri Net Systems
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 |
Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Observability of place/transition nets
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Optimal sensor selection for ensuring diagnosability in labeled Petri nets
Automatica | 2017-06-02 | Paper |
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
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 |
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis
Nonlinear Analysis. Hybrid Systems | 2016-09-09 | 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 |
| Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis | 2015-07-28 | Paper |
Fault model identification and synthesis in Petri nets
Discrete Event Dynamic Systems | 2015-06-12 | 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 |
| Infinitesimal Perturbation Analysis of Stochastic Hybrid Systems: Application to Congestion Management in Traffic-Light Intersections | 2014-07-27 | Paper |
Gossip algorithms for heterogeneous multi-vehicle routing problems
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 |
Quantized consensus in Hamiltonian graphs
Automatica | 2011-11-17 | 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 |
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 |
Design of decentralized constant-volume controllers for open-channels by solving a least squares problem
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2006-02-14 | 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 |
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 |
A decentralized volume variations observer for open channels
Applied Mathematical Modelling | 2003-03-10 | 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 |
Design and robustness analysis of decentralized constant volume-control for open-channels
Applied Mathematical Modelling | 2002-02-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 |
Decentralized controllers design for open-channel hydraulic systems via eigenstructure assignment
Applied Mathematical Modelling | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1462611 (Why is no real title available?) | 2000-06-21 | Paper |
