Alessandro Giua

Q: What Schools Are Affiliated With Alessandro Giua

Alessandro Giua is affiliated with the following schools: Rensselaer Polytechnic Institute, University of Cagliari

Alessandro Giua's AcademicInfluence.com Rankings

Alessandro Giua

Computer Science

#8623

World Rank

#9065

Historical Rank

Machine Learning

#3580

World Rank

#3624

Historical Rank

Artificial Intelligence

#3889

World Rank

#3945

Historical Rank

Database

#5618

World Rank

#5829

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Alessandro Giua's Degrees

Masters Computer Engineering University of Cagliari
Bachelors Computer Engineering University of Cagliari

Why Is Alessandro Giua Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Alessandro Giua's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Guest Editorial (2001) (527)
A Survey of Petri Net Methods for Controlled Discrete Event Systems (1997) (448)
Fault detection for discrete event systems using Petri nets with unobservable transitions (2005) (311)
First-order hybrid Petri nets: a model for optimization and control (2000) (216)
Hybrid Petri Nets: a (1996) (191)
Optimal control of continuous-time switched affine systems (2006) (187)
Verification of State-Based Opacity Using Petri Nets (2017) (187)
Observability of place/transition nets (2002) (177)
Leader-follower formation via complex Laplacian (2013) (175)
Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems (2011) (160)
An implicit gain-scheduling controller for cranes (1998) (157)
Modeling and Supervisory Control of Railway Networks Using Petri Nets (2008) (153)
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets (2012) (138)
Marking Estimation of Petri Nets With Silent Transitions (2007) (135)
Optimal control of switched autonomous linear systems (2001) (129)
Decentralized estimation of Laplacian eigenvalues in multi-agent systems (2012) (125)
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints (2015) (115)
Decentralized Supervision of Petri Nets With a Coordinator (2015) (101)
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem (2017) (100)
Blocking and controllability of Petri nets in supervisory control (1994) (99)
Petri net structural analysis for supervisory control (1994) (99)
On the enforcement of a class of nonlinear constraints on Petri nets (2015) (97)
Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs (2015) (90)
Containment of rumor spread in complex social networks (2020) (88)
Diagnosability of Discrete-Event Systems Using Labeled Petri Nets (2014) (88)
Distributed Averaging in Sensor Networks Based on Broadcast Gossip Algorithms (2011) (86)
Petri net state estimators based on event observation (1997) (84)
Identification of Petri Nets from Knowledge of Their Language (2007) (81)
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (2006) (77)
Petri nets as discrete event models for supervisory control (1992) (75)
Observer-controller design for cranes via Lyapunov equivalence (1999) (74)
Observer-based state-feedback control of timed Petri nets with deadlock recovery (2004) (72)
Decentralized Laplacian eigenvalues estimation for networked multi-agent systems (2009) (70)
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations (2017) (69)
On the Equivalence of Observation Structures for Petri Net Generators (2016) (67)
Modelling and simulation of manufacturing systems with first-order hybrid Petri nets (2001) (66)
Petri Net Supervisors for Generalized Mutual Exclusion Constraints (1993) (66)
Monitor design for colored Petri nets: An application to deadlock prevention in railway networks (2006) (64)
First-order hybrid Petri nets. An application to distributed manufacturing systems ☆ (2008) (60)
Semiactive Suspension Design with an Optimal Gain Switching Target (1999) (59)
Optimal Model Predictive Control of Timed Continuous Petri Nets (2008) (58)
Optimal control of autonomous linear systems switched with a pre-assigned finite sequence (2001) (58)
Finite-Time Consensus for Switching Network Topologies with Disturbances (2013) (57)
Current-state opacity enforcement in discrete event systems under incomparable observations (2018) (57)
Stabilization of switched affine systems: An application to the buck-boost converter (2007) (56)
Finite-Time Consensus on the Median Value With Robustness Properties (2017) (55)
Codiagnosability Analysis of Bounded Petri Nets (2018) (54)
Diagnosability of bounded Petri nets (2009) (52)
Motion probes for fault detection and recovery in networked control systems (2008) (51)
An Optimization Approach to Petri Net Monitor Design (2007) (51)
Petri nets and Automatic Control: A historical perspective (2018) (50)
Decidability of opacity verification problems in labeled Petri net systems (2017) (50)
Diagnosability analysis of unbounded Petri nets (2009) (49)
Identification of free-labeled Petri nets via integer programming (2005) (48)
State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions* (2005) (47)
DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY (2005) (44)
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events (2013) (43)
Optimal control of hybrid automata: design of a semiactive suspension (2004) (42)
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets (2008) (40)
STABILIZATION OF SWITCHED SYSTEMS VIA OPTIMAL CONTROL (2005) (37)
A Neural Network Diagnosis Approach for Analog Circuits (1999) (37)
A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks (2010) (37)
Fault model identification and synthesis in Petri nets (2015) (36)
Optimal stationary behavior for a class of timed continuous Petri nets (2004) (35)
Decidability and closure properties of weak Petri net languages in supervisory control (1995) (34)
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems (2011) (33)
Firing rate optimization of cyclic timed event graphs by token allocations (2002) (32)
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets (2013) (32)
Supervisory Control of Petri Nets with Language Specifications (2013) (32)
Introduction to Petri Nets (2013) (31)
Petri Net Languages and Infinite Subsets of m (1999) (30)
A Systems Theory View of Petri Nets (2004) (30)
High-level hybrid Petri nets: a definition (1996) (30)
Modeling, analysis and control of Discrete Event Systems: a Petri net perspective (2017) (28)
A Mixed Suspension System for a Half-Car Vehicle Model (2000) (26)
Deadlock recovery of Petri net models controlled using observers (2001) (25)
Optimization of Deterministic Timed Weighted Marked Graphs (2017) (24)
Observer-Controller Design for Three Dimensional Overhead Cranes Using Time-Scaling (2001) (24)
Supervisory control of railway networks with Petri nets (2001) (24)
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation (2019) (24)
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection (2019) (23)
Control of Safe Ordinary Petri Nets Using Unfolding (2005) (22)
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems (2002) (22)
Diagnosis of discrete event systems using labeled Petri nets (2009) (22)
Load balancing over heterogeneous networks with gossip-based algorithms (2009) (22)
Decidability results in First–Order Hybrid Petri Nets (2001) (22)
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators (2016) (21)
Observability and controllability verification in multi-agent systems through decentralized Laplacian spectrum estimation (2010) (21)
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics (2018) (21)
Optimal control of continuous Petri nets via model predictive control (2006) (21)
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics (2006) (20)
Verification of current-state opacity using Petri nets (2015) (20)
Testing Experiments on Synchronized Petri Nets (2013) (20)
Quantized consensus in Hamiltonian graphs (2011) (20)
Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints (2005) (20)
Petri nets for the control of discrete event systems (2015) (20)
Identification of deterministic Petri nets (2006) (19)
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (2014) (19)
Finite-time consensus on the median value by discontinuous control (2014) (19)
A deadlock prevention method for railway networks using monitors for colored Petri nets (2003) (18)
Minimizing the Influence Propagation in Social Networks for Linear Threshold Models (2017) (18)
A comparison among tools for the diagnosability of discrete event systems (2012) (18)
Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata (2003) (18)
On the Spread of Innovation in Social Networks (2013) (17)
Load balancing on networks with gossip-based distributed ]algorithms (2007) (17)
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (2016) (17)
State Estimation and Fault Detection Using Petri Nets (2011) (17)
On detectability of labeled Petri nets and finite automata (2018) (17)
Decentralized volume control of open-channels using H/sub 2/ norm minimization (1998) (16)
Supervisory Control of Petri NetsBased on Suboptimal Monitor Places (1998) (16)
Modelling hybrid systems by high-level Petri nets (1998) (16)
A comparison between two diagnostic tools based on automata and Petri nets (2008) (16)
K-delayed strong detectability of discrete-event systems (2019) (16)
Verification of language-based opacity in Petri nets using verifier (2016) (16)
Liveness enforcing supervisors for railway networks using ES/sup 2/PR Petri nets (2002) (16)
Consensus on the Average on Arbitrary Strongly Connected Digraphs Based on Broadcast Gossip Algorithms (2009) (16)
Hybrid modeling and control of switching DC-DC converters via MLD systems (2011) (16)
IPA for continuous stochastic marked graphs (2013) (16)
Constrained optimal control: an application to semiactive suspension systems (2006) (15)
GRAFCET and Petri Nets in Manufacturing (1993) (15)
Influence minimization in linear threshold networks (2019) (15)
Decentralized stabilization of heterogeneous linear multi-agent systems (2010) (15)
Decentralized fault diagnosis for sensor networks (2009) (15)
Marking estimation of Petri nets based on partial observation (2003) (15)
Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains (2008) (14)
Multiple Attacks Detection on Discrete Event Systems (2019) (14)
Stealthy Attacks for Partially-Observed Discrete Event Systems (2018) (14)
Marking Estimation in a Class of Time Labeled Petri Nets (2020) (13)
Observability properties of Petri nets (2000) (13)
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation (2015) (13)
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach (2016) (13)
Fault model identification with Petri nets (2008) (13)
A decentralized lifetime maximization algorithm for distributed applications in Wireless Sensor Networks (2012) (13)
Neural networks for multiple fault diagnosis in analog circuits (1993) (13)
Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs (2018) (13)
State estimation of max-plus automata with unobservable events (2019) (12)
Optimal Token Allocation in Timed Cyclic Event—Graphs (2000) (12)
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures (2014) (12)
Generalized mutual exclusion constraints and monitors for colored Petri nets (2003) (12)
Optimal feedback switching laws for autonomous hybrid automata (2004) (12)
Verification of initial-state opacity in Petri nets (2015) (12)
Identification of unbounded Petri nets from their coverability graph (2006) (12)
Supervisory Control of Petri Nets with Decentralized Monitor Places (2007) (12)
Fast discrete consensus based on gossip for makespan minimization in networked systems (2015) (12)
An H2 Formulation for the Design of a Passive Vibration-Isolation System for Cars (1996) (12)
Linear programming techniques for analysis and control of batches Petri nets (2010) (12)
Discrete event representation of qualitative models using Petri nets (1998) (11)
Marking Estimation in Labelled Petri nets by the Representative Marking Graph (2017) (11)
Dynamics and steady state analysis of controlled Generalized Batches Petri Nets (2014) (11)
MARKING ESTIMATION OF PETRI NETS WITH PAIRS OF NONDETERMINISTIC TRANSITIONS (2004) (11)
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation (2021) (11)
Control and error recovery of Petri net models with event observers (1997) (11)
Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171] (2020) (10)
Modeling hybrid systems by high-level Petri nets (1998) (10)
Some new results on supervisory control of Petri nets with decentralized monitor places (2008) (10)
Constrained invariant motions for networked multi-agent systems (2009) (10)
Finite-time consensus with disturbance attenuation for directed switching network topologies by discontinuous local interactions (2013) (10)
A new protocol for the decentralized diagnosis of labeled Petri nets (2010) (10)
Rumor Containment by Spreading Correct Information in Social Networks (2019) (10)
A new algorithm to compute synchronizing sequences for synchronized Petri nets (2013) (10)
Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets (2011) (10)
Linear programming techniques for the identification of place/transition nets (2008) (10)
Qualitative dynamic diagnosis of circuits (1993) (10)
Modeling and Simulation of Manufacturing Systems with First–Order Hybrid Petri Nets (2004) (10)
A non-progressive model of innovation diffusion in social networks (2013) (10)
Petri net control using event observers and timing information (2002) (9)
Active axletree suspension for road vehicles with gain-switching (2000) (9)
Fault diagnosis of an ABS system using Petri nets (2011) (9)
Control of safe ordinary petri nets with marking specifications using unfolding (2004) (9)
On the choice of suboptimal monitors for supervisory control of Petri nets (1998) (9)
Optimal hybrid control for switched affine systems under safety and liveness constraints (2004) (9)
Modelling Automated Manufacturing Systems with Hybrid Automata (1999) (9)
Synthesis of state-feedback optimal controllers for switched linear systems (2002) (9)
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications (2008) (8)
Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS (2008) (8)
Design of a control law for a magneto-rheological suspension (2003) (8)
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets (2014) (8)
General observation structures for Petri nets (2013) (8)
Active diagnosis for a class of switched systems (2013) (8)
Cycle time optimization of deterministic timed weighted marked graphs (2017) (8)
Easy synchronized Petri nets as discrete event models (1990) (8)
Decentralized diagnosis of Petri nets (2010) (8)
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics (2014) (8)
Supervisory enforcement of current-state opacity with uncomparable observations (2016) (8)
Optimal control of timed continuous petri nets via explicit MPC (2006) (7)
Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control (2018) (7)
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101] (2015) (7)
MARKING ESTIMATION OF PETRI NETS WITH ARBITRARY TRANSITION LABELING (2007) (7)
Semiactive suspension design taking into account the actuator delay (2001) (7)
On the complexity and dynamical properties of mixed logical dynamical systems via an automaton‐based realization of discrete‐time hybrid automaton (2018) (7)
Optimal control of hybrid automata : an application to the design of a semiactive suspension ∗ (2004) (7)
Optimal Petri Net Monitor Design (2002) (7)
Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods" (2004) (7)
Petri Net Modeling of Irrigation Canal Networks (2005) (7)
Verification of Detectability for Unambiguous Weighted Automata (2021) (6)
SOME TIME ANALYSIS METHODS FOR CONTINUOUS AND HYBRID PETRI NETS (2002) (6)
Detection and Prevention of Cyber-Attacks in Networked Control Systems (2020) (6)
Diagnosability enforcement in labeled Petri nets using supervisory control (2021) (6)
A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems (2019) (6)
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints (2013) (6)
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches (2018) (6)
Deadlock resolution in automated manufacturing systems–a novel Petri net approach, by Z.W. Li, and M.C. Zhou (2010) (6)
Finite-Time Consensus based Clock Synchronization by Discontinuous Control (2012) (6)
Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions” (2019) (6)
Optimal speed allocation and sensitivity analysis of hybrid stochastic Petri nets (1998) (6)
Weak Petri net languages in supervisory control (1993) (6)
Optimization of deterministic timed weighted marked graphs (2017) (6)
Optimal control of production systems with unreliable machines and finite buffers (1999) (5)
Design of Monitor-based Supervisors in Labelled Petri Nets (2018) (5)
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories (2020) (5)
Journal on Discrete Event Dynamic Systems: theory and applications (2002) (5)
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures (2015) (5)
A region-based approach for state estimation of timed automata under no event observation (2020) (5)
Discrete Event Diagnosis using Petri Nets (2009) (5)
Hybrid control of production systems with local optimization (1999) (5)
Computation of Activation Probabilities in the Independent Cascade Model (2018) (5)
Joint State Estimation Under Attack of Discrete Event Systems (2019) (5)
Observation Equivalence of Petri Net Generators (2014) (5)
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis (2015) (5)
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets (2020) (5)
A linear state variable model for first-order hybrid petri nets (1999) (5)
Decentralized observability of discrete event systems with synchronizations (2017) (5)
Deterministic weak-and-marked Petri net languages are regular (1996) (5)
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis (2018) (5)
Revisiting delayed strong detectability of discrete-event systems (2019) (5)
Synchronizing sequences on not strongly connected Petri nets (2011) (4)
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach (2019) (4)
Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks (2017) (4)
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems (2018) (4)
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events (2010) (4)
Timed continuous Petri nets and optimization via linear programming (2002) (4)
An improved approach for marking optimization of timed weighted marked graphs (2019) (4)
Optimal routing of continuous timed Petri nets (2002) (4)
A state estimation problem for timed continuous Petri nets (2007) (4)
Quantized optimal control of discrete-time systems (2005) (4)
HYBRID STOCHASTIC PETRI NETS : FIRING SPEED COMPUTATION AND FMS MODELLING (2003) (4)
Petri net monitor design with control and observation costs (2000) (4)
Monitor design for colored petri nets with uncontrollable and unobservable transitions (2004) (4)
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning (2015) (4)
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming (2020) (4)
Modeling of a bottling plant using hybrid Petri nets (2002) (4)
Hybrid analysis of automated manufacturing systems using discrete linear inclusions (1998) (4)
Testing Discrete Event Systems: Synchronizing Sequences using Petri Nets (2010) (4)
Design of Observers/Controllers for Discrete Event Systems Using Petri Nets (2002) (4)
State Estimation of Petri Nets by Transformation (2007) (4)
Structural Analysis of Petri Nets (2013) (4)
Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks (2020) (3)
Switched system optimal control: An application to buck-boost converter (2007) (3)
Computational complexity analysis of a Petri net identification procedure (2006) (3)
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 (2004) (3)
Consensus-based decentralized supervision of Petri nets (2011) (3)
Deadlock characterization for Petri nets control using GMEC's and observers (2003) (3)
Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks (2021) (3)
A class of Petri nets with a convex reachability set (1993) (3)
Diagnosability analysis of an ABS system modeled using Petri nets (2012) (3)
On Consistent Reduction in Discrete-Event Systems (2019) (3)
Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks (2023) (3)
OBSERVER-CONTROLLER DESIGN FOR CRANES VIA POLE PLACEMENT AND GAIN-SCHEDULING (1999) (3)
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis (2020) (3)
Design of supervisors for linear marking specifications in labeled Petri nets (2022) (3)
Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets (2003) (3)
IPA for continuous Petri nets (2010) (3)
Probabilistic verification of attack detection using logical observer (2020) (3)
Decentralized Supervisory Control of Petri Nets with Monitor Places (2005) (3)
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems (2019) (3)
An Approach To Determine Controllability of Monolithic Supervisors (2014) (3)
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach (2020) (2)
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker (2022) (2)
Special issue on analysis and design of hybrid systems (2008) (2)
A framework for the analysis of supervised discrete event systems under attack (2020) (2)
Analysis and design of hybrid systems 2006 : a proceedings volume from the 2nd IFAC Conference, 7-9 June, 2006, Alghero, Italy (2006) (2)
IPA for Continuous Petri Nets with Threshold-Based Flow Control (2011) (2)
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs (2020) (2)
A Remark on the Decentralized Diagnosis of Labeled Petri Nets (2014) (2)
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (2021) (2)
Properties of continuous Petri nets controlled via model predictive control (2008) (2)
Decidability of single-rate hybrid Petri nets (1999) (2)
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks (2015) (2)
A software platform for the integration of discrete event systems tools (2011) (2)
Model Reduction of Finite State Machines by Contraction (1995) (2)
Preface to the Special Section: IFAC Conference on Analysis and Design of Hybrid Systems (2012) (2)
A Sliding Mode Observer Design for the Average State Estimation in Large-Scale Systems (2)
Hamiltonian quantized gossip (2009) (2)
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics (2016) (2)
Diagnosis and Diagnosability of Discrete Event Systems using Petri Nets (2015) (2)
Computation of admissible marking sets in weighted state machines by dynamic programming (2017) (2)
Influence Maximization by Link Activation in Social Networks (2018) (2)
Robust common reference estimation and formation control for multi-agent systems (2012) (2)
Stationary behavior of controlled generalized batches Petri nets (2012) (2)
The observer coverability graph for the analysis of observability properties of Place/Transition nets (2001) (2)
DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems (2008) (2)
Consensus based approaches for distributed estimation, optimization and control (2013) (1)
Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata (2017) (1)
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach (2020) (1)
Active Diagnosis for Switched Systems Using Mealy Machine Modeling (2018) (1)
A heuristic algorithm to optimize execution time of multi-robot path (2017) (1)
NONBLOCKING CONTROL OF PETRI NETS USING UNFOLDING (2005) (1)
"A Petri net simulator based on object-oriented programming" (1996) (1)
Diagnosis of Petri Nets (2013) (1)
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata (2019) (1)
Codiagnosability verification of bounded Petri nets using basis markings (2016) (1)
Observers for nondeterministic /spl lambda/-free labeled Petri nets (2003) (1)
Automated Diagnosis for Digital Circuits (1988) (1)
Mathematical models for the diffusion of innovation in social networks (2016) (1)
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets (2018) (1)
Application of IPA to Fluid Petri Nets (2009) (1)
On decentralized observability of discrete event systems (2011) (1)
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs (2021) (1)
State Estimation Under Attack in Partially-Observed Discrete Event Systems (2021) (1)
Supervisory control of a manufacturing system using Petri net structures (1995) (1)
MARKING ESTIMATION OF PETRI NETS WITH λ-FREE LABELING (2003) (1)
An integration based method for the solution of continuous time Markov chains (1991) (1)
Instant detectability of discrete-event systems (2020) (1)
Incremental optimization of cyclic timed event graphs (2000) (1)
Linear Algebraic Characterization of Legal Markings for Petri Net Supervisors (2014) (1)
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (2016) (1)
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (2012) (1)
Variability expansion for performance characteristics max,+)-linear stochastic systems (2002) (1)
SUPERVISORY CONTROL OF PETRI NETS BASED ON SUBOPTIMAL MONITORPLACESFrancesco (2005) (1)
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (2022) (1)
Special Section: IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’06) (2008) (1)
A STATE VARIABLE APPROACH FOR THE MODELING AND CONTROL OF FLEXIBLE MANUFACTURING SYSTEMS (1999) (0)
Proc. 3nd IFAC Conference on Analysis and Design of Hybrid Systems (Zaragoza, Spain), September, 2009 (2009) (0)
IEEE CASE 2009 Special Sessions (2009) (0)
Preprints / WODES 2010 - 10th International Workshop on Discrete Event Systems (2010) (0)
Proc. of 9th International Conference on Modeling, Optimization & SIMulation (MOSIM'12) (2012) (0)
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems (2022) (0)
Rumor Containment by Blocking Nodes in Social Networks (2023) (0)
A Setting for Rumor Containment Using Linear Threshold Models (2020) (0)
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems (2018) (0)
Modeling and Control of Inventory Management Policies Using First--Order Hybrid Petri Nets (2000) (0)
Fault model identification and synthesis in Petri nets (2014) (0)
Guest editorial: special issue on performance analysis and optimization of discrete event systems (2018) (0)
Special issue on recent trends in discrete event systems (2012) (0)
odeling , analysis and control of iscr te Event Syste s : a etri net perspective (2018) (0)
Notes on the Fault Diagnosis and Diagnosability of Discrete Event Systems (2017) (0)
State estimation and control of nondeterministic λ-free labeled petri nets (2004) (0)
Discrete Event Systems and Hybrid Systems, Connections Between (2015) (0)
On detectability of labeled Petri nets and finite automata (2020) (0)
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks (2023) (0)
UNITARY RATE HYBRID PETRI NETS (2015) (0)
Dynamic max-consensus with local self-tuning (2022) (0)
CONTROL AND DEADLOCK RECOVERY OF TIMED PETRI NETS USING OBSERVERS (2004) (0)
Distributed tracking of graph parameters in anonymous networks with time-varying topology (2021) (0)
Associate Editors, Technical (2005) (0)
Petri Net Languages and Innnite Subsets of N M Proposed Running Head (2007) (0)
Case study 1: Diagnosis of automotive systems (2011) (0)
Guest Editorial (2002) (0)
Contributing Authors (2005) (0)
Fast Discrete Consensus Based on Gossip for Makespan Optimization in Networked Systems (2014) (0)
Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets” (2019) (0)
Sensor and Actuator Attacks in Discrete Event Systems (2022) (0)
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (2021) (0)
An improved approach for marking optimization of timed weighted marked graphs (2019) (0)
A linear algebraic characterization of dead markings in a place/transition net (2001) (0)
Welcome message from the program chair (2011) (0)
Control of Hybrid Petri Nets using Max-Plus Algebra (2007) (0)
Testing experiments on State Machine Petri nets (2013) (0)
Marking optimization of deterministic timed marked graphs weighted under infinite server semantics (2016) (0)
Petri Nets with Time (2013) (0)
MANUFACTURING SYSTEMS CONTROL WITH PETRI NET OBSERVERS (1999) (0)
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports] (2017) (0)
Guest editorial: special issue on performance analysis and optimization of discrete event systems (2018) (0)
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems (2018) (0)
MODELLING AND CONTROL OF D OVERHEAD CRANES (2015) (0)
Stationary behavior of manufacturing systems modeled by timed weighted marked graphs (2016) (0)
Special issue related to the 2008 IFAC world congress (2010) (0)
The 13th International Workshop on Discrete Event Systems (WODES 2016) [Conference Reports] (2017) (0)
Selection of a stealthy and harmful attack function in discrete event systems (2022) (0)
A survey on state estimation using Petri nets (2014) (0)
Petri nets for the control of discrete event systems (2014) (0)
Analysis and Design of Hybrid Systems 2006: A Proceedings volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006 (IPV - IFAC Proceedings Volume) (IPV - IFAC Proceedings Volume) (2007) (0)
Special Issue on WODES’08 (2009) (0)
On detectability of labeled Petri nets with inhibitor arcs (2018) (0)
Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets (2014) (0)
Optimal routing of contionuos timed Petri nets (2002) (0)
Optimal stationarybehavior for a class of timed continuousPetri nets (2006) (0)
Analisi dei sistemi non lineari (2009) (0)
Chapter 14 Diagnosis of Petri Nets (0)
Proceedings / WODES 2010 - 10th International Workshop on Discrete Event Systems (2011) (0)
Current-state opacity enforcement in discrete event systems under incomparable observations (2017) (0)
Special issue on the IFAC World Congress 2011 (2013) (0)
Special issue on recent trends in discrete event systems (2012) (0)
Synthesizing nonblocking distributed supervision based on automata abstraction (2008) (0)
Welcome and Introduction (2009) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Alessandro Giua?

Alessandro Giua is affiliated with the following schools:

Alessandro Giua's Academic­Influence.com Rankings

Alessandro Giua's Degrees

Why Is Alessandro Giua Influential?

Alessandro Giua's Published Works

Published Works

What Schools Are Affiliated With Alessandro Giua?

Alessandro Giua's AcademicInfluence.com Rankings