The following pages link to Alessandro Giua (Q172784):
Displaying 50 items.
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (Q262433) (← links)
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Special issue on recent trends in discrete event systems (Q351725) (← links)
- (Q490546) (redirect page) (← links)
- IPA for continuous stochastic marked graphs (Q490547) (← links)
- Leader-follower formation via complex Laplacian (Q522852) (← links)
- Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems (Q547898) (← links)
- Quantized consensus in Hamiltonian graphs (Q646452) (← links)
- Fault detection for discrete event systems using Petri nets with unobservable transitions (Q710706) (← links)
- Control of safe ordinary Petri nets using unfolding (Q816699) (← links)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
- Fast discrete consensus based on gossip for makespan minimization in networked systems (Q889003) (← links)
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Observer-controller design for cranes via Lyapunov equivalence (Q1301384) (← links)
- Decentralized observability of discrete event systems with synchronizations (Q1679893) (← links)
- Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks (Q1680837) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Influence minimization in linear threshold networks (Q1737600) (← links)
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions (Q1773100) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Optimal stationary behavior for a class of timed continuous Petri nets (Q1881189) (← links)
- Petri net languages and infinite subsets of \(\mathbb{N}^m\) (Q1970198) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection'' (Q2081089) (← links)
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (Q2128087) (← links)
- Consistent reduction in discrete-event systems (Q2151838) (← links)
- Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets'' (Q2177774) (← links)
- A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems (Q2188268) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (Q2208612) (← links)
- Finite-time consensus for switching network topologies with disturbances (Q2252965) (← links)
- Stabilization of switched systems via optimal control (Q2252975) (← links)
- Dynamics and steady state analysis of controlled generalized batches Petri nets (Q2252991) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- Basis coverability graph for partially observable Petri nets with application to diagnosability analysis (Q2280186) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101] (Q2342522) (← links)
- Fault model identification and synthesis in Petri nets (Q2348378) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- Decentralized estimation of Laplacian eigenvalues in multi-agent systems (Q2445171) (← links)
- Identification of Petri nets from knowledge of their language (Q2465425) (← links)
- Optimal control of discrete-time hybrid automata under safety and liveness constraints (Q2496814) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Modelling and simulation of manufacturing systems with first-order hybrid Petri nets (Q2713454) (← links)
- Observer-Controller Design for Three Dimensional Overhead Cranes Using Time-Scaling (Q2721612) (← links)
- On the Equivalence of Observation Structures for Petri Net Generators (Q2980390) (← links)
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints (Q2982662) (← links)
- Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs (Q2982793) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
