Publications of Carla Seatzu
Books
[B1] A. Giua, C. Seatzu, Analisi dei Sistemi Dinamici, Springer Verlag Italia, 2005.
[B2] C.G. Cassandras, A. Giua,
C. Seatzu, J. Zaytoon (Eds.),
Analysis and Design of Hybrid Systems 2006, in
IFAC Proceedings Volumes, Elsevier, 2006.
Papers on International Journals
[J1] A. Giua, C. Seatzu,
G. Usai, “Observer-controller design for cranes
via Lyapunov equivalence“, Automatica,
Vol. 35, No. 4, pp. 669-678, April 1999 (Brief Paper).
[J2] C. Seatzu, “Design and robustness
analysis of decentralized constant volume-control for open channels“, Applied
Mathematical Modelling, No. 6, pp. 479-500, June 1999.
[J3] A. Giua,
C. Seatzu, G. Usai, “Semiactive suspension design with an optimal gain switching
target“, Vehicle System Dynamics, Vol. 31, No. 4, ISDN 0042-3114,
pp. 213-232, April 1999.
[J4] C. Seatzu, “Design of
decentralized constant-volume controllers for open-channels by solving a least
squares problem, International Journal of Systems Science, Vol. 31, N.
6, pp. 759-770, June 2000.
[J5] C. Seatzu,
“A fitting based method for parameter estimation in S-Systems“, Dynamic
Systems and Applications, Vol. 9, N. 1, ISSN 1056-2176, pp. 77-98, March
2000.
[J6] C. Seatzu,
“Decentralized controllers design for open-channel hydraulic systems via eigenstructure assignment“, Applied Mathematical
Modelling, No. 12, pp. 915-930, December 2000.
[J7] A. Giua, C. Seatzu,
G. Usai, “A mixed suspension system for a
half-car vehicle model“, Dynamics and Control, Vol. 10, No.
4, pp. 375-397, December 2000.
[J8] F. Balduzzi, A. Di Febbraro, A. Giua, C. Seatzu, “Decidability results in First-Order Hybrid
Petri Nets“, Journal of Discrete Event Dynamic Systems, Special
Issue on Hybrid Petri Nets, Vol. 11, No. 1 & 2, pp. 41-58,
January-April 2001.
[J9] F. Balduzzi,
A. Giua, C. Seatzu, “Modelling
and simulation of manufacturing systems with First-Order Hybrid Petri Nets“,
International Journal of Production Research, Special Issue on Modeling, Specification and Analysis of
Manufacturing Systems, Vol. 39, No. 2, pp. 255-282, January 2001.
[J10] A. Giua, R. Furcas, A. Piccaluga, C. Seatzu, “Hybrid Petri net modeling
of inventory management systems“, European Journal of Automation
APII-JESA, Special Issue on Hybrid Dynamical Systems, 2001. Vol. 35,
No. 4, pp. 417-434, May 2001.
[J11] A. Giua,
M. Sanna, C. Seatzu, “Observer-controller
design for three dimensional overhead cranes using time-scaling“, Mathematical
and Computer Modelling of Dynamical Systems, Vol. 7, No. 1, pp. 77-107,
March 2001.
[J12] A. Giua, A. Piccaluga, C. Seatzu, “Firing rate optimization of cyclic timed
event graphs by token allocations“, Automatica,
Vol. 38, No. 1, pp. 91-103, January 2002 (Regular Paper).
[J13] A. Giua, C. Seatzu, “Observability of Place/Transition nets“, IEEE
Transactions on Automatic Control, Vol. 47, No. 9, pp. 1424-1437, September
2002, (Regular Paper).
[J14] C. Seatzu, G.
Usai, “A decentralized volume variations
observer for open-channels“, Applied Mathematical Modelling, Vol 26, No. 10, pp. 35-61, October 2002.
[J15] A. Giua, C. Seatzu, F. Basile, “Observer
based state-feedback control of timed Petri nets with deadlock recovery“,
IEEE Transactions on Automatic Control, Vol. 49, No. 1, pp. 17-29,
January 2004 (Regular Paper).
[J16] A. Giua, M. Melas, C. Seatzu, G. Usai, “Design of a predictive semiactive
suspension system“, Vehicle System Dynamics, Vol. 41, No. 4, pp.
277-300, 2004.
[J17] A. Giua, J. Júlvez,
C. Seatzu, “Marking estimation of Petri nets
with pairs of nondeterministic transitions“, Asian Journal of Control,
Special Issue on Control of Discrete Event Systems, Vol. 6, No. 2, pp.
270-280, 2004.
[J18] D. Corona, A. Giua, C. Seatzu, “Optimal control of hybrid automata: an
application to the design of semiactive suspension“,
Control Engineering Practice, Special Issue on Hybrid Dynamic Systems,
Vol. 12, No. 2, pp. 1305-1318, October 2004.
[J19] C. Seatzu, D.
Corona, A. Giua, “State estimation of lambda-free labeled Petri nets with contact-free nondeterministic
transitions“, Journal of Discrete Event Dynamic Systems,
Vol. 15, No. 1, pp. 85-108, January 2005.
[J20] A. Giua, M.T. Pilloni,
C. Seatzu, “Modelling and simulation of a
bottling plant using hybrid Petri nets“, International Journal of
Production Research, Vol. 43, No. 7, pp. 1375-1395, April 2005.
[J21] C. Seatzu, “Discrete,
Continuous, and Hybrid Petri Nets. R. David, H. Alla.
Springer-Verlag Berlin Heidelberg 2005“, Book
review, International Journal of Robust and Nonlinear Control , Vol. 15,
No. 14, pp. 637-640, September 2005.
[J22] C. Seatzu, D.
Corona, A. Giua, A. Bemporad,
“Optimal Control of Continuous-Time Switched Affine Systems“, IEEE
Transactions on Automatic Control, Vol. 51, No. 5, pp. 726-741, May
2006, (Regular Paper).
[J23] A. Giua, M.P.
Fanti, C. Seatzu, “Monitor
design for colored Petri nets: an application to
deadlock prevention in railway networks“, Control Engineering Practice,
Vol. 14, No. 10, pp. 1231-1247, October 2006.
[J24] C. Seatzu, D. Gromov, J. Raish, D. Corona, A. Giua, “Optimal control of discrete-time hybrid automata under safety and liveness constraints", Nonlinear Analysis, Elsevier Science, Vol. 65, No. 6, Hybrid Systems and Applications (5), pp. 1188-1210, September 2006.
[J25] D. Corona, A. Giua, C. Seatzu, “Marking estimation of Petri nets with silent transitions”, IEEE Transactions on Automatic Control, Vol. 52, No. 9, pp. 1695-1699, September 2007 (Technical Note).
[J26] M.P. Cabasino, A. Giua, C. Seatzu, “Identification of Petri nets from samples of their languages”, Journal of Discrete Event Dynamic Systems, Vol. 17, No. 4, pp. 447-474, December 2007.
[J27] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon, “DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems”, Journal of Discrete Event Dynamic Systems, Vol. 18, N. 2, pp. 161-162, June 2008.
[J28] M. Dotoli, M.P. Fanti, A. Giua, C. Seatzu, “First-Order Hybrid Petri nets. An application to distributed manufacturing systems”, Nonlinear Analysis: Hybrid Systems, Elsevier, Vol. 2, Issue 2, pp. 408-430, June 2008.
[J29] A. Giua, C. Seatzu, “Modeling and supervisory control of railway networks using Petri nets”, IEEE Transactions on Automation Science and Engineering, Vol. 5, Issue 3, pp. 431-445, July 2008 (Regular Paper).
[J30] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon, “Editorial Special Issue on Analysis and Design of Hybrid Systems”, Nonlinear Analysis: Hybrid Systems, Vol. 2, Issue 3, pp. 695-696, August 2008.
[J31] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon, “Preface Special Section: IFAC Conference on Analysis and Design of Hybrid Systems”, Control Engineering Practice, Vol. 16, Issue 8, pp. 959-960, August 2008.
[J32] C. Mahulea, A. Giua, L. Recalde, C. Seatzu, M. Silva, “Optimal model predictive control of timed Continuous Petri nets”, IEEE Transactions on Automatic Control, Vol. 53, Issue 7, August 2008 (Technical Note).
[J33] A. Giua, T. Paschedag, C. Seatzu, “Constrained optimal control: an application to semiactive suspension”, International Journal of Systems Science, Vol. 41, Issue 7, pp. 797-811, July 2010.
[J34] M. Franceschelli, A. Giua, C. Seatzu, “A gossip-based algorithm for discrete consensus over heterogeneous networks”, IEEE Transactions on Automatic Control, Vol. 55, No. 5, pp. 1244-1249, May 2010, (Technical Note).
[J35] M.P. Cabasino, A. Giua, C. Seatzu, “Fault detection for discrete event systems using Petri nets with unobservable transitions”, Automatica, Vol. 46, No. 9, pp. 1531-1539, September 2010 (Brief Paper).
[J36] M. Franceschelli, A. Giua, C. Seatzu, “Distributed Averaging in Sensor Networks Based on Broadcast Gossip Algorithms”, IEEE Sensors Journal (Regular Paper, in press).
[J37] M.P. Cabasino, A. Giua, C. Seatzu, “Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems”, Control Engineering Practice (in press).
[J38] M. Franceschelli, A. Giua, C. Seatzu, “Quantized consensus in Hamiltonian graphs”, Automatica (Brief Paper, in press).
Special Issues
[SI1] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon (Eds), “Special Issue on Analysis and Design of Hybrid Systems”, Nonlinear Analysis: Hybrid Systems, Vol. 2, Issue 3, August 2008 (Available online February 2008).
[SI2] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon (Eds), “Special Issue on Discrete Event Methodologies for Hybrid Systems”, Journal of Discrete Event Dynamic Systems, Vol. 18, N. 2, June 2008.
[SI3] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon (Eds), “Special Section on ADHS’06: IFAC Conference on Analysis and Design of Hybrid Systems”, Control Engineering Practice, Vol. 16, Issue 8, August 2008 (Available online December 2007).
Book Papers
[BC1] A. Giua, C. Seatzu,
"Design of observers/controllers for discrete event systems using Petri
nets," in Synthesis and Control of Discrete Event Systems, B. Caillaud, X. Xie, Ph. Darondeau and L. Lavagno (Eds.),
pp. 167-182, Kluwer, 2001.
[BC2] R. Armosini, A. Giua,
M.T. Pilloni, C. Seatzu, “Simulation
and Control of a Bottling Plant using First-Order Hybrid Petri Nets, “ in
Positive Systems, L. Benvenuti, A. De Santis, L. Farina, (Eds.), Lecture Notes in Control and
Information Sciences, Springer-Verlag Berlin
Heidelberg, pp. 79 - 86, 2003.
[BC3] A. Giua, C. Mahulea,
L. Recalde, C. Seatzu, M.
Silva, “Optimal control of timed cont-PN, “ in Positive Systems, C. Commault, N. Marchand (Eds.), Lecture Notes in Control and
Information Sciences, Springer-Verlag
Berlin Heidelberg, Vol. 341, pp. 383 – 390, 2006.
[BC4] A. Giua, C. Seatzu, “A systems theory view of Petri nets“, Lecture Notes in Control and Information Sciences, Vol. 353, C. Bonivento, A. Isidori, L. Marconi, C. Rossi (Eds.), 2007.
[BC5] M. Dotoli, M.P. Fanti, A. Giua, C. Seatzu, "Modelling Systems by hybrid Petri nets. An application to supply chains", Petri Net. Theory and Application, Advanced Robotic Systems Int., 2007.
[BC6] F. Sessego, A. Giua, C. Seatzu, "HYPENS: a Matlab tool for timed discrete, continuous and hybrid Petri nets", in Application and Theory of Petri nets, Kees M. van Hee, Rüdiger Valk (Eds), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Vol. 5062, pp. 419-428, June 2008.
Papers on International Conferences
[C1] S. Sanna, C. Seatzu,
E. Usai, “An effective procedure for growth
models parameter estimation“, IMACS-IEEE Multiconference
CESA’98: Computational Engineering in Systems Applications, ISBN
2-9512309-0-7, vol. 1, pp. 1146-1151, 1-4 April, 1998, Hammamet,
Tunisia.
[C2] C. Seatzu, A. Giua,
“Observer-controller design for cranes via pole placement and
gain-scheduling“, 6th IEEE Mediterranean Conference on Control and
Automation, 9-11 June, 1998, Alghero, Italy; in
Theory and Practice of Control and Systems, A. Tornambč,
G. Conte and A. M. Perdon (Eds),
World Scientific Publishing, pp. 233-238.
[C3] A. Giua, C. Seatzu, “Manufacturing
control with Petri net observers“, 6th IEEE Mediterranean Conference
on Control and Automation, 9-11 June, 1998, Alghero,
Italy; in Theory and Practice of Control and Systems, A. Tornambč,
G. Conte and A. M. Perdon (Eds),
World Scientific Publishing, pp. 759-764.
[C4] A. Giua,
A. Savastano, C. Seatzu, G.
Usai, “Tandem active-passive suspension design
with constraints on the forces“, International Conference on Advances
in Vehicle Control and Safety, pp. 460-466, July, 1998, Amiens, France.
[C5] A. Giua,
A. Savastano, C. Seatzu, G.
Usai, “Approximation of an optimal gain
switching active law with a semiactive suspension“,
1998 IEEE Conference on Control Applications, pp. 248-252, 1-4
September, 1998, Trieste, Italy.
[C6] C. Seatzu, A. Giua, G. Usai, “Decentralized
volume control of open-channels using H2 norm minimization“, Interernational Conference on System, Man and
Cybernetics, pp. 3891-3896, San Diego, October,1998.
[C7] C. Seatzu,
“A parameter estimation method for a special class of systems of ordinary
differential equations“, 7th IEEE Mediterranean Conference on Control
and Automation, pp. 205-210,
[C8] C. Seatzu,
“A numerical algorithm for the design of a decentralized controller for
open-channel networks“, 7th IEEE Mediterranean Conference on Control
and Automation, pp. 580-592,
[C9] F. Balduzzi, G. Menga,
A. Giua, C. Seatzu, “A
linear state variable model for first-order hybrid Petri nets“, 14th
World Congress of Int. Federation of Automatic Control, pp. 1645-1656, 5-9
July, 1999, Beijing, Cina.
[C10] C. Seatzu, “Robust PI decentralized
control law for open-channel hydraulic systems“, European Control
Conference ECC99, August 31-
[C11] C. Seatzu, “Design
of decentralized output feedback control law by solving a linear least squares
problem“, 1999 IEEE Conference on Control Applications, pp.
365-369,
[C12] F. Balduzzi, A. Giua, C. Seatzu, “Modelling automated manufacturing systems
with hybrid automata“, Workshop on Formal Methods and Manufacturing,
pp. 33-48,
[C13] F. Balduzzi, A. Giua, C. Seatzu, “Hybrid
Control of Production Systems with Local Optmization“,
7th IEEE Int. Conf. on Emerging Technologies and Factory Automation,
pp. 1531-1540, October 18-22, 1999, Barcelona, Catalonia, Spain.
[C14] C. Seatzu, F. Balduzzi, A. Di Febbraro, A. Giua, “Decidability of single-rate hybrid Petri nets“,
38th IEEE Conference on Decision and Control, pp. 2234-2248, December
7-10, 1999, Phoenix, Arizona, USA.
[C15] F. Balduzzi, A. Di Febbraro, A. Giua, C. Seatzu, “Unitary-rate hybrid Petri nets“, 3rd
IMACS Symp. on Mathematical Modelling, pp.
461-465,
[C16] C. Seatzu, G. Usai, “A linear
decoupled model of open-channels for the synthesis of a decentralized volume
variation observer“, 3rd IMACS Symp. on
Mathematical Modelling, pp. 179-182,
[C17] A. Giua, M. Sanna, C. Seatzu, “Modelling and control of 3D overhead cranes“,
3rd IMACS Symp. on Mathematical Modelling, pp.
839-843,
[C18] C. Seatzu,
“Decentralized control of irrigation open-channels via eigenstructure assignment“, 3rd IMACS Symp. on Mathematical Modelling, pp. 183-186,
[C19] A. Giua, A. Piccaluga, C. Seatzu, “Incremental
optimization of cyclic timed event graphs“, 2000 IEEE International
Conference on Robotics and Automation, pp. 2211-2216, April 24-28, 2000,
San Francisco, USA.
[C20] A. Giua, A. Piccaluga, C. Seatzu, “Optimal token allocation in timed cyclic
event graphs“, 5th Workshop on Discrete Event Systems, August
21-23, 2000, Ghent, Belgium; in Discrete Event Systems, Analysis and Control,
R. Boel, G. Stremersch (Eds), Kluwer Academic Publishers,
pp. 209-218.
[C21] A. Giua, R. Furcas,
A. Piccaluga, C. Seatzu, “Modeling and Control of Inventory Management Policies Using
First--Order Hybrid Petri Nets “, 4th International Conference Automation of
Mixed Processes: Hybrid Dynamical Systems, pp. 273-278, 18-19 Settembre,
2000, Dortmund, Germany.
[C22] B. Cannas, A. Fanni, A. Giua, C. Seatzu, “Chaotic Behaviour
in Hybrid Systems“, 4th
International Conference Automation of Mixed Processes: Hybrid Dynamical
Systems, pp. 209-215, 18-19 Settembre, 2000, Dortmund, Germany.
[C23] A. Giua, C. Seatzu, “Observability
Properties of Petri Nets“, 39th
IEEE Conference on Decision and Control, pp. 2676-2681, December 12-15,
2000, Sydney, Australia.
[C25] F. Diana, A. Giua, C. Seatzu, “Safeness-Enforcing
Supervisory Control for Railway Networks“, 2001 IEEE/ASME
International Conference on Advanced Intelligent Mechatronics, pp. 99-104,
July 8 -11, 2001, Como, Italy.
[C26] A. Giua, C. Seatzu, “The Observer Coverability Graph
for the Analysis of Observability Properties of Place/Transition Nets“, European
Control Conference ECC’01, pp. 1339-1344, September 4-7, 2001, Porto,
Portugal.
[C27] R. Furcas, A. Giua, A. Piccaluga, C. Seatzu, “Modeling
Production Systems with Inventory Using Hybrid Petri Nets“, 2001 IEEE
Conference on Control Applications, pp. 434-440, September 5-7, 2001,
Mexico City, Mexico.
[C28]
A. Giua,
C. Seatzu, C. Van Der Mee, “Optimal Control of Autonomous Linear Systems
Switched with a Pre-assigned Finite Sequence“,
2001 Int. Symposium on Intelligent Control, pp. 144-149, September 5-7,
2001, Mexico City, Mexico.
[C29]
F. Basile, P. Chiacchio, A.
Giua, C. Seatzu, “Deadlock recovery of controlled Petri net models using
observers“, 8th IEEE International Conference on Emerging Technologies
and Factory Automation, pp. 441-449, 15-18 Ottobre, 2001, Antibes, France.
[C30]
A. Giua, C. Seatzu, “Supervisory
control of railway networks with Petri nets“, 40th IEEE Conference on
Decision and Control, pp. 5004-5009, 3-7 Dicembre 2001, Orlando, Florida.
[C31]
M. Ebau, A. Giua, C. Seatzu, G.
Usai, “Semiactive suspension design taking into account the actuator
delay“, 40th IEEE Conference on Decision and Control, pp. 93-98,
3-7 Dicembre 2001, Orlando, Florida.
[C32]
A. Giua, C. Seatzu, C. Van Der
Mee, “Optimal control of
switched autonomous linear systems“, 40th IEEE Conference on
Decision and Control, pp. 2472-2477, 3-7 Dicembre 2001, Orlando, Florida
[NOTE: this paper is missing from the CD ROM but appeared in the hard-copy of
the proceedings].
[C33]
A. Bemporad, A. Giua, C. Seatzu,
“An iterative algorithm for the optimal control of continuous--time
switched linear systems“, 6th Int. Workshop on Discrete Event Systems,
pp. 335 - 340, 2-4 October 2-4 2002, Zaragoza, Spain.
[C34]
A. Giua, C. Seatzu, “Liveness
enforcing supervisors for railway networks using ES2PR Petri nets“, 6th
Int. Workshop on Discrete Event Systems, pp. 55 – 60, 2-4 October 2-4 2002,
Zaragoza, Spain.
[C35]
A. Giua, A. Meloni, M.T.
Pilloni, C. Seatzu, “Modeling of a bottling plant using hybrid Petri nets“,
2002 IEEE Int. Conference on Systems, Man and Cybernetics, pp. 375 -
380, 6-9 October 2002, Hammamet, Tunisia.
[C36] M. Balliccu, A. Giua, C. Seatzu, “Job-shop scheduling
models with set-up times“, 2002 IEEE Int. Conference on Systems, Man
and Cybernetics, pp. 95-100, 6-9 October 2002, Hammamet, Tunisia.
[C37] A. Bemporad, A. Giua, C. Seatzu, “Synthesis
of state-feedback optimal controllers for switched linear systems“, 41st
IEEE Int. Conf. on Decision and Control, pp. 3182 – 3187, December 2002,
Las Vegas, Nevada.
[C38]
A. Bemporad, A. Giua, C. Seatzu,
“A master-slave algorithm for the optimal control of continuous-time
switched affine systems“, 41st IEEE Int. Conf. on Decision and Control,
pp. 1976 – 1981, December 2002, Las Vegas, Nevada.
[C39]
F. Basile, A. Giua, C. Seatzu, “Petri
net control using event observers and timing information“, 41st IEEE
Int. Conf. on Decision and Control, pp. 787 – 792, December 2002, Las
Vegas, Nevada.
[C40]
A. Giua, C. Seatzu, “Deadlock
Characterization for Petri Nets Controlled Using GMEC's and Observers“,
2003 American Control Conference, Denver, pp. 320 – 325, June 2003,
Denver, Colorado.
[C41]
A. Giua, J. Jůlvez, C. Seatzu, “Marking
Estimation of Petri Nets based on Partial Observation“, 2003 American
Control Conference, pp. 326 – 331, June 2003, Denver, Colorado.
[C42]
A. Bemporad, D. Corona, A. Giua,
C. Seatzu, “Optimal State-Feedback Quadratic Regulation of Linear Hybrid
Automata“, IFAC Conference on Analysis and Design of Hybrid Systems,
pp. 407 – 412, June 2003, Saint-Malo, France.
[C43]
F. Basile, A. Giua, C. Seatzu, “Observer-based
state-feedback control of timed Petri nets with deadlock recovery: Theory and
Implementation“, Multiconference on Computational Engineering in
Systems Applications, Lille, France, July 2003.
[C44]
A. Giua, M. Melas, C. Seatzu, “Design
of a control law for a magneto-rheological suspension“, European
Control Conference ECC03, Cambridge, UK, September 2003.
[C45]
D. Corona, A. Giua, J. Jůlvez, C.
Seatzu, “Observers for nondeterministic lambda-free labeled Petri nets“,
9th IEEE International Conference on Emerging Technologies and Factory
Automation, pp. 307 - 314, Lisbon, Portugal, September 2003.
[C46]
M. P. Fanti, A. Giua, C. Seatzu,
“A deadlock prevention method for railway networks using monitors for
colored Petri nets“, 2003 IEEE International Conference on Systems,
Man and Cybernetics, pp. 1866 – 1873, Washington, D.C., USA,
October 2003.
[C47]
M. P. Fanti, A. Giua, C. Seatzu,
“Generalized mutual exclusion constraints and monitors for colored Petri
nets“, 2003 IEEE International Conference on Systems, Man and
Cybernetics, pp. 1860 – 1865, Washington, D.C., USA, October
2003.
[C48]
A. Giua, M. Melas, C. Seatzu, “Design
of a control law for a semiactive suspension system using a solenoid valve
damper“, 2004 IEEE Conference on Control Applications, pp. 1467 –
1472, Taipei, Taiwan, September 2004.
[C49]
D. Corona, A. Giua, C. Seatzu, “Optimal
Feedback Switching Laws for Autonomous Hybrid Automata“, 2004 IEEE
International Symposium on Intelligent Control, pp. 31 – 36, Taipei,
Taiwan, September 2004.
[C50]
D. Corona, A. Giua, C. Seatzu,
D. Gromov, E. Mayer, J. Raisch, “Optimal hybrid control for switched
linear systems under safety and liveness constraints“, 2004 IEEE
Conference on Computer Aided Control Systems Design, pp. 35 – 40,
Taipei,Taiwan, September 2004.
[C51]
A. Giua, C. Seatzu, “Monitor
design for Colored Petri nets with uncontrollable and unobservable transitions“,
7th Int. Workshop on Discrete Event Systems, pp. 361-366, Reims,
France, September 2004.
[C52]
D. Corona, A. Giua, C. Seatzu, “State
estimation and control of nondeterministic lambda-free labeled Petri nets“,
7th Int. Workshop on Discrete Event Systems, pp. 421-426, Reims, France,
September 2004.
[C53] A. Giua, C. Seatzu, “A systems
theory view of Petri nets“, 7th Int. Workshop on Discrete Event
Systems, Reims, France, pp. 15-17, September 2004.
[C54]
A. Giua, C. Seatzu, F. Basile, “Control
and deadlock recovery of timed Petri nets using observers“, MOSIM'04:
5eme Conf. Francophone de Modélisation et Simulation, pp. 5-15, Nantes,
France, September 2004.
[C55]
D. Corona, A. Giua, C. Seatzu,
"Marking estimation of Petri nets with silent transitions“, Proc.
IEEE 43rd Int. Conf. on Decision and Control , pp. 966-971, Atlantis,
Paradis Island, Bahamas, December 2004.
[C56]
D. Corona, A. Giua, C. Seatzu,
D. Gromov, E. Mayer, J. Raisch, “Optimal control of discrete-time hybrid
automata under safety and liveness constraints“, 2005 IEEE
International Symposium on Intelligent Control, Limassol, Cyprus, June
2005.
[C57]
D. Corona, A. Giua, C. Seatzu, “Stabilization
of switched systems via optimal control“, 16th IFAC World Congress, Prague,
Czech Republic, July 2005.
[C58]
D. Corona, A. Giua, C. Seatzu, “Quantized
optimal control of discrete-time systems“, 10th IEEE Int. Conf. on
Emerging Technologies and Factory Automation, September 2005, Catania,
Italy.
[C59]
F. Basile, A. Giua, C. Seatzu, “Decentralized
supervisory control of Petri nets with monitor places“, 10th IEEE Int.
Conf. on Emerging Technologies and Factory Automation, September 2005,
Catania, Italy.
[C60]
A. Giua, C. Seatzu, “Fault
detection for discrete event systems using labeled Petri nets“, CDC-ECC'05:
44th Int. Conf. on Decision and Control and European Control Conference 2005,
December 2005, Seville, Spain (to appear).
[C61]
A. Giua, C. Seatzu, “Identification
of free-labeled Petri nets via integer programming“, CDC-ECC'05: 44th
Int. Conf. on Decision and Control and European Control Conference 2005, December
2005, Seville, Spain (to appear).
[C62] A.
Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, “On sampling
continuous timed Petri nets: reachability "equivalence" under
infinite servers semantics, “ 2nd IFAC Conf. on Analysis and Design of
Hybrid Systems, Alghero, Italy, June 2006.
[C63] T.
Paschedag, A. Giua, C. Seatzu, “Constrained optimal control: an application
to semiactive suspension systems, “ 14th IEEE Mediterranean Conference
on Control Automation, Ancona, Italy, June 2006.
[C64] A.
Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, “Optimal control of
continuous Petri nets via model predictive control, “ 8th Int.
Workshop on Discrete Event Systems, Ann Arbor, Michigan, USA, July 2006.
[C65] M.P.
Cabasino, A. Giua, C. Seatzu, “Identification of deterministic Petri
nets, “ 8th Int. Workshop on Discrete Event Systems, Ann Arbor,
Michigan, USA, July 2006.
[C66]
M.P. Cabasino, A. Giua, C.
Seatzu, “Computational complexity analysis of a Petri net identification
procedure, “ 2006 Int. Symposium on Nonlinear Theory and its
Applications, Bologna, Italy, Septemer 2006.
[C67] M.P. Cabasino, A. Giua, C. Seatzu, “Identification of unbounded Petri nets from their coverability graph, “ 45th IEEE Conf. on Decision and Control, San Diego, CA, USA, December 2006.
[C68] F. Basile, A. Giua, C. Seatzu, “Supervisory control of Petri nets with decentralized monitor places“, 2007 American Control Conference, New York, USA, July 2007.
[C69] M.P. Cabasino, A. Giua, C. Seatzu, “Marking estimation of Petri nets with arbitrary transition labeling“, 1st IFAC Work. on Dependable Control of Discrete Systems, Paris, France, June 2007.
[C70] F. Basile, A. Giua, C. Seatzu, “Decentralized supervisory control of Petri nets with monitor places” , 3rd Annual IEEE Conf. on Automation Science and Engineering (Scottsdale, Arizona), September 2007.
[C71] C. Mahulea, M.P. Cabasino, A. Giua, L. Recalde, C. Seatzu, M. Silva, “State estimation of Petri nets by transformation“, 3rd Annual IEEE Conf. on Automation Science and Engineering (Scottsdale, Arizona), September 2007.
[C72] M. Franceschelli, A. Giua, C. Seatzu, “Load balancing on networks with gossip-based distributed algorithms”, 46th IEEE Conf. on Decision and Control (New Orleans, LA, USA), December 2007.
[C73] C. Mahulea, M.P. Cabasino, A. Giua, C. Seatzu, “A state estimation problem for timed continuous Petri nets”, 46th IEEE Conf. on Decision and Control (New Orleans, LA, USA), December 2007.
[C74] F. Basile, A. Giua, C. Seatzu, “Some new results on supervisory control of Petri nets with decentralized monitor places”, 17th IFAC World Congress (Seoul, Korea), July 2008.
[C75] A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, “Properties of continuous Petri nets controlled via model predictive control”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.
[C76] M.P. Cabasino, A. Giua, C. N. Hadjicostis, C. Seatzu, “Fault Identification in Petri Nets”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.
[C77] S. Lai, D. Nessi, M.P. Cabasino, A. Giua, C. Seatzu, “A comparison between two diagnostic tools based on automata and PNs”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.
[C78] M.P. Fanti, C. Seatzu, “Fault diagnosis and identification of discrete event systems using Petri nets”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.
[C79] A. Giua, C. Seatzu, F. Sessego, “Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS”, 2008 IEEE Int. Conf. on Systems, Man and Cybernetics, (Singapore), October 2008.
[C80] M.P. Cabasino, A. Giua, C. Seatzu, “Linear Programming Techniques for the Identification of Place/Transition Nets”, 47th IEEE Conference on Decision and Control (Cancun, Mexico), December 2008.
[C81] M. Franceschelli, A. Giua, C. Seatzu, “Load balancing over heterogeneous networks with gossip-based algorithms”, 2009 American Control Conference, (St. Louis, Missouri, USA), June 2009.
[C82] M.P. Cabasino, C. Mahuela, L. Recalde, C. Seatzu, M. Silva, “Observer Design for Untimed Continuous Petri Nets”, 2009 American Control Conference, (St. Louis, Missouri, USA), June 2009.
[C83] M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosis of discrete event systems using labeled Petri nets”, 2nd IFAC Conf. on Dependable Control of Discrete Systems (Bari, Italy), June 2009.
[C84] M. Franceschelli, A. Giua, C. Seatzu, “Hamiltonian Quantized Gossip”, Int. Symposium on Intelligent Control (Saint Petersburg, Russia), July 2009.
[C85] M.P. Cabasino, C. Mahulea, C. Seatzu, M. Silva, “Fault diagnoser design for untimed continuous Petri nets”, Int. Symposium on Intelligent Control (Saint Petersburg, Russia), July 2009.
[C86] M. Franceschelli, A. Giua, C. Seatzu, “Decentralized Fault Diagnosis for Sensor Networks”, 5th Annual IEEE Conference on Automation Science and Engineering, (Bangalore, India), August 2009.
[C87] M.P. Cabasino, A. Giua, C. Seatzu, “Discrete event diagnosis using Petri nets”, 6th Int. Conf. on Informatics in Control, Automation and Robotics, (Milano, Italy), July 2009.
[C88] M. Franceschelli, A. Giua, C. Seatzu, “Consensus on the Average on Arbitrary Strongly Connected Digraphs Based on Broadcast Gossip Algorithms”, 1st IFAC Workshop on Estimation and Control of Networked Control Systems, (Venezia, Italy), September 2009.
[C89] A. Giua, C. Seatzu, Y. Wardi, “Application of IPA to Fluid Petri Nets”, 3rd IFAC Conf. on Analysis and Design of Hybrid Systems, Zaragoza, Spain, September 2009.
[C90] M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosability of Bounded Petri nets”, 48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.
[C91] M.P. Cabasino, C. Mahulea, C. Seatzu, M. Silva, “New Results for Fault Detection of untimed Continuous Petri nets”, 48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.
[C92] M.P. Cabasino, A. Giua, S. Lafortune, C. Seatzu, “Diagnosability of Unbounded Petri nets”, 48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.
[C93] M. Franceschelli, A. Gasparri, A. Giua, C. Seatzu, “Decentralized Laplacian Eigenvalues Estimation of the Network Topology of a Multi-Agent System”, 48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.
[C94] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, “Decentralized diagnosis of Petri nets”, 2010 American Control Conference (Baltimore, USA), June 30 – July 2, 2010.
[C95] M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosis using labeled Petri nets: faults may either be silent or undistinguishable events”, 6th annual IEEE Conference on Automation Science and Engineering, (Toronto, Canada), August 2010.
[C96] M. Cabasino, A. Giua, A. Paoli, C. Seatzu, “A new protocol for the decentralized diagnosis of labeled Petri nets”, 10th Int. Workshop on Discrete Event Systems, (Berlin, Germany), August 31-September 1, 2010.
[C97] A. Giua, C. Seatzu, Y. Wardi, “IPA for continuous Petri nets”, 10th Int. Workshop on Discrete Event Systems, (Berlin, Germany), August 31-September 1, 2010.
[C98] M.P. Cabasino, C. Mahuela, C. Seatzu, M. Silva, “Fault diagnosis of manufacturing systems using Continuous Petri nets”, 2010 IEEE Int. Conference on Systems, Man and Cybernetics, (Istanbul, Turkey), October 2010.
[C99] A. Giua, C. Seatzu, Y. Wardi, “IPA for Continuous Petri nets”, 18th IFAC World Congress, (Milano, Italy), August 28-September 2, 2011 (accepted).
[C100] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, “Decentralized diagnosability analysis of discrete event systems using Petri nets”, 18th IFAC World Congress, (Milano, Italy), August 28-September 2, 2011 (accepted).
Abstracts
of talks in International and National Conferences
[A1]
F. Basile, P. Chiacchio, A. Giua,
C. Seatzu, “A linear algebraic characterization of dead markings in a
Place/Transition net“, Annual Conf. Operational Research Society of
Italy AIRO, September 2001, Villasimius, Italy.
[A2]
A. Giua, C. Seatzu, C. Van Der
Mee, “State-feedback control of autonomous linear switched systems“,
VI Congresso SIMAI, 27-31 May 2002, Chia Laguna, Italy.
[A3]
D. Corona, A. Giua, C. Seatzu, “Deadlock
avoidance for railway networks using Petri net siphon analysis“, Annual
Conf. Operational Research Society of Italy AIRO, September 2002, L'Aquila,
Italy.
[A4] A. Giua, C. Seatzu, “Structured matrices arising in the analysis and control of Petri nets“, International Workshop on Operator Theory and Applications, June 2003, Cagliari, Italy.
Last update: March 30, 2011