Alessandro Giua

Orcid: 0000-0002-3859-9472

According to our database1, Alessandro Giua authored at least 240 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2017, "For contributions to discrete event and hybrid systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks.
IEEE Trans. Autom. Control., December, 2023

Rumor Containment by Blocking Nodes in Social Networks.
IEEE Trans. Syst. Man Cybern. Syst., July, 2023

Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks.
IEEE Trans. Autom. Control., 2023

Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks.
CoRR, 2023

Verification of Current State Opacity using Switching Output Automata.
Proceedings of the 9th International Conference on Control, 2023

Logical and probabilistic aspects of state estimation for Markovian systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Fault Diagnosis of Discrete Event Systems Under Attack.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Cooperative Hoisting with Two Crawler Cranes under Rope-Velocity Constraints.
Proceedings of the IEEE Conference on Control Technology and Applications, 2023

Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets.
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs.
IEEE Trans. Syst. Man Cybern. Syst., 2022

Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker.
IEEE Control. Syst. Lett., 2022

A Sliding Mode Observer Design for the Average State Estimation in Large-Scale Systems.
IEEE Control. Syst. Lett., 2022

Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs.
IEEE Control. Syst. Lett., 2022

You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.
CoRR, 2022

Design of supervisors for linear marking specifications in labeled Petri nets.
Autom., 2022

Consistent reduction in discrete-event systems.
Autom., 2022

2021
Verification of Detectability for Unambiguous Weighted Automata.
IEEE Trans. Autom. Control., 2021

Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.
IEEE CAA J. Autom. Sinica, 2021

Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks.
IEEE Control. Syst. Lett., 2021

Diagnosability enforcement in labeled Petri nets using supervisory control.
Autom., 2021

Joint State Estimation Under Attack of Discrete Event Systems.
IEEE Access, 2021

Distributed tracking of graph parameters in anonymous networks with time-varying topology.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming.
IEEE Trans. Autom. Control., 2020

Marking Estimation in a Class of Time Labeled Petri Nets.
IEEE Trans. Autom. Control., 2020

Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.
IEEE Trans. Autom. Control., 2020

Containment of rumor spread in complex social networks.
Inf. Sci., 2020

On detectability of labeled Petri nets and finite automata.
Discret. Event Dyn. Syst., 2020

Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks.
CoRR, 2020

A framework for the analysis of supervised discrete event systems under attack.
CoRR, 2020

Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach.
CoRR, 2020

Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171].
Autom., 2020

A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems.
Autom., 2020

A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories.
IEEE Access, 2020

A region-based approach for state estimation of timed automata under no event observation.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection.
IEEE Trans. Autom. Control., 2019

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".
IEEE Trans. Autom. Control., 2019

Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets".
Discret. Event Dyn. Syst., 2019

An improved approach for marking optimization of timed weighted marked graphs.
Discret. Event Dyn. Syst., 2019

Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems.
CoRR, 2019

Influence minimization in linear threshold networks.
Autom., 2019

State estimation of max-plus automata with unobservable events.
Autom., 2019

Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation.
IEEE Access, 2019

Multiple Attacks Detection on Discrete Event Systems.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

A Two-Step Approach for Fault Diagnosis of Max-Plus Automata.
Proceedings of the 6th International Conference on Control, 2019

K-delayed strong detectability of discrete-event systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Rumor Containment by Spreading Correct Information in Social Networks.
Proceedings of the 2019 American Control Conference, 2019

2018
Codiagnosability Analysis of Bounded Petri Nets.
IEEE Trans. Autom. Control., 2018

Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics.
IEEE Trans. Autom. Control., 2018

Current-state opacity enforcement in discrete event systems under incomparable observations.
Discret. Event Dyn. Syst., 2018

Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems.
Discret. Event Dyn. Syst., 2018

Guest editorial: special issue on performance analysis and optimization of discrete event systems.
Discret. Event Dyn. Syst., 2018

On detectability of labeled Petri nets with inhibitor arcs.
CoRR, 2018

Petri nets and Automatic Control: A historical perspective.
Annu. Rev. Control., 2018

Stealthy Attacks for Partially-Observed Discrete Event Systems.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Influence Maximization by Link Activation in Social Networks.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Computation of Activation Probabilities in the Independent Cascade Model.
Proceedings of the 5th International Conference on Control, 2018

Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets.
Proceedings of the 5th International Conference on Control, 2018

Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation.
IEEE Trans. Control. Syst. Technol., 2017

Optimization of Deterministic Timed Weighted Marked Graphs.
IEEE Trans Autom. Sci. Eng., 2017

Verification of State-Based Opacity Using Petri Nets.
IEEE Trans. Autom. Control., 2017

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Autom. Control., 2017

Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.
IEEE Trans. Autom. Control., 2017

Finite-Time Consensus on the Median Value With Robustness Properties.
IEEE Trans. Autom. Control., 2017

Decidability of opacity verification problems in labeled Petri net systems.
Autom., 2017

Decentralized observability of discrete event systems with synchronizations.
Autom., 2017

A heuristic algorithm to optimize execution time of multi-robot path.
Proceedings of the 13th IEEE International Conference on Control & Automation, 2017

Computation of admissible marking sets in weighted state machines by dynamic programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach.
IEEE Trans. Control. Syst. Technol., 2016

On the Equivalence of Observation Structures for Petri Net Generators.
IEEE Trans. Autom. Control., 2016

Synchronizing sequences on a class of unbounded systems using synchronized Petri nets.
Discret. Event Dyn. Syst., 2016

Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.
Autom., 2016

Supervisory enforcement of current-state opacity with uncomparable observations.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Marking optimization of deterministic timed weighted marked graphs under infinite server semantics.
Proceedings of the International Conference on Control, 2016

Codiagnosability verification of bounded Petri nets using basis markings.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Verification of language-based opacity in Petri nets using verifier.
Proceedings of the 2016 American Control Conference, 2016

2015
Discrete Event Systems and Hybrid Systems, Connections Between.
Proceedings of the Encyclopedia of Systems and Control, 2015

Decentralized Supervision of Petri Nets With a Coordinator.
IEEE Trans. Syst. Man Cybern. Syst., 2015

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.
IEEE Trans. Autom. Control., 2015

Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs.
IEEE Trans. Autom. Control., 2015

Petri nets for the control of discrete event systems.
Softw. Syst. Model., 2015

Fault model identification and synthesis in Petri nets.
Discret. Event Dyn. Syst., 2015

Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101].
Autom., 2015

Fast discrete consensus based on gossip for makespan minimization in networked systems.
Autom., 2015

On the enforcement of a class of nonlinear constraints on Petri nets.
Autom., 2015

Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Verification of initial-state opacity in Petri nets.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Cycle time optimization of deterministic timed weighted marked graphs.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Verification of current-state opacity using Petri nets.
Proceedings of the American Control Conference, 2015

A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.
Proceedings of the American Control Conference, 2015

Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
A Remark on the Decentralized Diagnosis of Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Testing Experiments on Synchronized Petri Nets.
IEEE Trans Autom. Sci. Eng., 2014

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets.
IEEE Trans Autom. Sci. Eng., 2014

Petrinetze und die Steuerung Ereignisdiskreter Systeme.
Inform. Spektrum, 2014

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications.
Discret. Event Dyn. Syst., 2014

Observation Equivalence of Petri Net Generators.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

A survey on state estimation using Petri nets.
Proceedings of the 13th European Control Conference, 2014

Marking optimization of deterministic timed weighted marked graphs.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Finite-time consensus on the median value by discontinuous control.
Proceedings of the American Control Conference, 2014

2013
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2013

IPA for continuous stochastic marked graphs.
Autom., 2013

Leader-follower formation via complex Laplacian.
Autom., 2013

Decentralized estimation of Laplacian eigenvalues in multi-agent systems.
Autom., 2013

General observation structures for Petri nets.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A non-progressive model of innovation diffusion in social networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Active diagnosis for a class of switched systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Finite-time consensus with disturbance attenuation for directed switching network topologies by discontinuous local interactions.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Supervisory Control of Petri Nets with Language Specifications.
Proceedings of the Control of Discrete-Event Systems, 2013

Diagnosis of Petri Nets.
Proceedings of the Control of Discrete-Event Systems, 2013

Structural Analysis of Petri Nets.
Proceedings of the Control of Discrete-Event Systems, 2013

Introduction to Petri Nets.
Proceedings of the Control of Discrete-Event Systems, 2013

Petri Nets with Time.
Proceedings of the Control of Discrete-Event Systems, 2013

2012
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.
IEEE Trans. Autom. Control., 2012

Special issue on recent trends in discrete event systems.
Discret. Event Dyn. Syst., 2012

Stationary behavior of controlled generalized batches Petri nets.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A decentralized lifetime maximization algorithm for distributed applications in Wireless Sensor Networks.
Proceedings of IEEE International Conference on Communications, 2012

A comparison among tools for the diagnosability of discrete event systems.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Robust common reference estimation and formation control for multi-agent systems.
Proceedings of the American Control Conference, 2012

Finite-Time Consensus based Clock Synchronization by Discontinuous Control.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Quantized consensus in Hamiltonian graphs.
Autom., 2011

Synchronizing sequences on not strongly connected Petri nets.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Consensus-based decentralized supervision of Petri nets.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

On decentralized observability of discrete event systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Hybrid modeling and control of switching DC-DC converters via MLD systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Welcome message from the program chair.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Fault diagnosis of an ABS system using Petri nets.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

A software platform for the integration of discrete event systems tools.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

State Estimation and Fault Detection Using Petri Nets.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks.
IEEE Trans. Autom. Control., 2010

Constrained optimal control: an application to semiactive suspension systems.
Int. J. Syst. Sci., 2010

Fault detection for discrete event systems using Petri nets with unobservable transitions.
Autom., 2010

IPA for continuous Petri nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Linear programming techniques for analysis and control of batches Petri nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A new protocol for the decentralized diagnosis of labeled Petri nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Decentralized stabilization of heterogeneous linear multi-agent systems.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Observability and controllability verification in multi-agent systems through decentralized Laplacian spectrum estimation.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Decentralized diagnosis of Petri nets.
Proceedings of the American Control Conference, 2010

2009
Special Issue on WODES'08.
Discret. Event Dyn. Syst., 2009

Discrete Event Diagnosis using Petri Nets.
Proceedings of the ICINCO 2009, 2009

Decentralized Laplacian eigenvalues estimation for networked multi-agent systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability of bounded Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability analysis of unbounded Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Decentralized fault diagnosis for sensor networks.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Load balancing over heterogeneous networks with gossip-based algorithms.
Proceedings of the American Control Conference, 2009

Constrained invariant motions for networked multi-agent systems.
Proceedings of the American Control Conference, 2009

Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Application of IPA to Fluid Petri Nets.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Preface.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Hamiltonian quantized gossip.
Proceedings of the IEEE International Conference on Control Applications, 2009

2008
Modeling and Supervisory Control of Railway Networks Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2008

Optimal Model Predictive Control of Timed Continuous Petri Nets.
IEEE Trans. Autom. Control., 2008

DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems.
Discret. Event Dyn. Syst., 2008

Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS.
Proceedings of the IEEE International Conference on Systems, 2008

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Linear programming techniques for the identification of place/transition nets.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Motion probes for fault detection and recovery in networked control systems.
Proceedings of the American Control Conference, 2008

2007
Marking Estimation of Petri Nets With Silent Transitions.
IEEE Trans. Autom. Control., 2007

An Optimization Approach to Petri Net Monitor Design.
IEEE Trans. Autom. Control., 2007

Identification of Petri Nets from Knowledge of Their Language.
Discret. Event Dyn. Syst., 2007

A state estimation problem for timed continuous Petri nets.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Load balancing on networks with gossip-based distributed ]algorithms.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

State Estimation of Petri Nets by Transformation.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Decentralized Supervisory Control of Petri Nets with Monitor Places.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Stabilization of switched affine systems: An application to the buck-boost converter.
Proceedings of the American Control Conference, 2007

Supervisory Control of Petri Nets with Decentralized Monitor Places.
Proceedings of the American Control Conference, 2007

2006
Optimal control of continuous-time switched affine systems.
IEEE Trans. Autom. Control., 2006

Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places.
Autom., 2006

Identification of unbounded Petri nets from their coverability graph.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Power management in iBSS wireless networks: selective awakening of doze stations.
Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Control of Safe Ordinary Petri Nets Using Unfolding.
Discret. Event Dyn. Syst., 2005

State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*.
Discret. Event Dyn. Syst., 2005

Quantized optimal control of discrete-time systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Identification of free-labeled Petri nets via integer programming.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Fault detection for discrete event systems using Petri nets with unobservable transitions.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints.
Proceedings of the Intelligent Control, 2005

2004
Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods".
IEEE Trans. Autom. Control., 2004

Observer-based state-feedback control of timed Petri nets with deadlock recovery.
IEEE Trans. Autom. Control., 2004

Synthesis and Control of Discrete Event Systems: B. Caillaud, Ph. Darondeau, L. Lavagno, X. Xie (Eds.); Kluwer Academic Publishers, Dordrecht, 2002, 238pp, EUR142.00, US$156.0, ISBN: 0-7923-7639-0.
Autom., 2004

Optimal stationary behavior for a class of timed continuous Petri nets.
Autom., 2004

Optimal feedback switching laws for autonomous hybrid automata.
Proceedings of the Intelligent Control, 2004

2003
A deadlock prevention method for railway networks using monitors for colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

Generalized mutual exclusion constraints and monitors for colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets.
Proceedings of the Positive Systems, 2003

Design of a control law for a magneto-rheological suspension.
Proceedings of the 7th European Control Conference, 2003

Observers for nondeterministic λ-free labeled Petri nets.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Deadlock characterization for Petri nets control using GMEC's and observers.
Proceedings of the American Control Conference, 2003

Marking estimation of Petri nets based on partial observation.
Proceedings of the American Control Conference, 2003

Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Observability of place/transition nets.
IEEE Trans. Autom. Control., 2002

Guest Editorial.
Discret. Event Dyn. Syst., 2002

Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems.
Discret. Event Dyn. Syst., 2002

Firing rate optimization of cyclic timed event graphs by token allocations.
Autom., 2002

Petri net control using event observers and timing information.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Model reduction of finite-state machines by contraction.
IEEE Trans. Autom. Control., 2001

Guest Editorial.
Discret. Event Dyn. Syst., 2001

Decidability results in First-Order Hybrid Petri Nets.
Discret. Event Dyn. Syst., 2001

The observer coverability graph for the analysis of observability properties of Place/Transition nets.
Proceedings of the 6th European Control Conference, 2001

Deadlock recovery of Petri net models controlled using observers.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Optimal control of switched autonomous linear systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Supervisory control of railway networks with Petri nets.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Semiactive suspension design taking into account the actuator delay.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
First-order hybrid Petri nets: a model for optimization and control.
IEEE Trans. Robotics Autom., 2000

Incremental Optimization of Cyclic Timed Event Graphs.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

Active axletree suspension for road vehicles with gain-switching.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Observability properties of Petri nets.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Petri net monitor design with control and observation costs.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
Petri Net Languages and Infinite Subsets of m.
J. Comput. Syst. Sci., 1999

Observer-controller design for cranes via Lyapunov equivalence.
Autom., 1999

A Neural Network Diagnosis Approach for Analog Circuits.
Appl. Intell., 1999

Optimal Control of Production Systems with Unreliable Machines and Finite Buffers.
Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

1998
Discrete event representation of qualitative models using Petri nets.
IEEE Trans. Syst. Man Cybern. Part B, 1998

An implicit gain-scheduling controller for cranes.
IEEE Trans. Control. Syst. Technol., 1998

Decentralized volume control of open-channels using H<sub>2</sub> norm minimization.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

On the choice of suboptimal monitors for supervisory control of Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Optimal speed allocation and sensitivity analysis of hybrid stochastic Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
A Survey of Petri Net Methods for Controlled Discrete Event Systems.
Discret. Event Dyn. Syst., 1997

1996
Deterministic weak-and-marked Petri net languages are regular.
IEEE Trans. Autom. Control., 1996

1995
Decidability and closure properties of weak Petri net languages in supervisory control.
IEEE Trans. Autom. Control., 1995

1994
Petri net structural analysis for supervisory control.
IEEE Trans. Robotics Autom., 1994

Blocking and controllability of Petri nets in supervisory control.
IEEE Trans. Autom. Control., 1994

1993
Qualitative dynamic diagnosis of circuits.
Artif. Intell. Eng. Des. Anal. Manuf., 1993

A Class of Petri Nets with a Convex Reachability Set.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

Neural Networks for Multiple Fault Diagnosis in Analog Circuits.
Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993

1988
Automated Diagnosis for Digital Circuits.
Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988


  Loading...