GIUA, ALESSANDRO
GIUA, ALESSANDRO
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
"A Petri net simulator based on object-oriented programming"
1996-01-01 Fanni, Alessandra; Giua, Alessandro; Marchesi, Michele; Sanna, N.
"Object-oriented Petri net simulation for traffic signal control"
1996-01-01 Fanni, Alessandra; Giua, Alessandro; Marchesi, Michele; Sanna, N.
"Synthesis and control of discrete event systems" Book review
2004-01-01 Giua, Alessandro
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports]
2017-01-01 Giua, Alessandro; Bullo, Francesco; Hadjicostis, Christoforos; Seatzu, Carla; Pasqualetti, Fabio
A comparison among tools for the diagnosability of discrete event systems
2012-01-01 Cabasino, Mp; Giua, Alessandro; Marcias, L; Seatzu, Carla
A comparison between two diagnostic tools based on automata and Petri nets
2008-01-01 Lai, Stefano; Nessi, D; Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures
2014-01-01 Ma, Z; Li, Z; Giua, Alessandro
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures
2015-01-01 Ma, Z.; Li, Z.; Giua, Alessandro
A deadlock prevention method for railway networks using monitors for colored Petri nets
2003-01-01 Fanti, Mp; Giua, Alessandro; Seatzu, Carla
A Decentralized Lifetime Maximization Algorithm for Distributed Applications in Wireless Sensor Networks
2012-01-01 Pilloni, Virginia; Franceschelli, Mauro; Atzori, Luigi; Giua, Alessandro
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories
2020-01-01 Deplano, Diego; Franceschelli, Mauro; Ware, Simon; Rong, Su; Giua, Alessandro
A gossip-based algorithm for discrete consensus over heterogeneous networks
2010-01-01 Franceschelli, Mauro; Giua, Alessandro; Seatzu, Carla
A heuristic algorithm to optimize execution time of multi-robot path
2017-01-01 Deplano, Diego; Ware, Simon; Su, Rong; Giua, Alessandro
A linear state variable model for first-order hybrid Petri nets
1999-01-01 Balduzzi, F; Menga, G; Giua, Alessandro; Seatzu, Carla
A master-slave algorithm for the optimal control of continuous-time switched affine systems
2002-01-01 Bemporad, A; Giua, Alessandro; Seatzu, Carla
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis
2016-01-01 Ma, Z.; Li, Z.; Giua, Alessandro
A mixed suspension system for a half-car vehicle model
2000-01-01 Giua, Alessandro; Seatzu, Carla; Usai, G.
A neural network diagnosis approach for analog circuits
1999-01-01 Fanni, Alessandra; Giua, Alessandro; Marchesi, Michele; Montisci, Augusto
A new algorithm to compute synchronizing sequences for synchronized Petri nets
2013-01-01 Pocci, M; Demongodin, I; Giambiasi, N; Giua, Alessandro
A new approach for diagnosability analysis of Petri nets using Verifier Nets
2012-01-01 Cabasino, Mp; Giua, Alessandro; Lafortune, S; Seatzu, Carla