Alessandro Giua
#156,286
Most Influential Person Now
Researcher
Alessandro Giua's AcademicInfluence.com Rankings
Alessandro Giuacomputer-science Degrees
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

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)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: