POLA, GIORDANO

POLA, GIORDANO  

Dipartimento di Ingegneria e scienze dell informazione e matematica  

Mostra records
Risultati 1 - 20 di 103 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
A symbolic model approach to the digital control of nonlinear time-delay systems 1-gen-2009 Pola, Giordano; Pepe, Pierdomenico; DI BENEDETTO, MARIA DOMENICA; P., Tabuada
Achievable bisimilar behaviour of abstract state systems 1-gen-2005 Pola, Giordano; A. J., van der Schaft; DI BENEDETTO, MARIA DOMENICA
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances 1-gen-2011 Borri, A.; Pola, G.; Di Benedetto, M. D.
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays 1-gen-2010 Pola, Giordano; Pepe, Pierdomenico; DI BENEDETTO, MARIA DOMENICA
Approximate Diagnosis of Metric Systems 1-gen-2018 Pola, Giordano; De Santis, Elena; Di Benedetto, Maria Domenica
Approximate predictability of Pseudo-Metric Systems 1-gen-2020 De Santis, E.; Di Benedetto, M. D.; Fiore, G.; Pola, G.
Approximate supervisory control of nonlinear systems with outputs 1-gen-2017 Pola, Giordano; Di Benedetto, Maria Domenica
Approximately bisimilar symbolic models for incrementally stable switched systems 1-gen-2010 Girard, Antoine; Pola, Giordano; Tabuada, Paulo
Approximately bisimilar symbolic models for incrementally stable switched systems 1-gen-2008 Girard, Antoine; Pola, Giordano; Tabuada, Paulo
Approximately bisimilar symbolic models for nonlinear control systems 1-gen-2008 Pola, Giordano; Girard, Antoine; Tabuada, Paulo
Approximations of Maximal Controlled Safe Sets for Hybrid Systems 1-gen-2003 L., Berardi; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; Pola, Giordano
Balancing dwell times for switchimg linear systems 1-gen-2004 Pola, Giordano; J. W., Polderman; DI BENEDETTO, MARIA DOMENICA
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems 1-gen-2018 Pola, Giordano; Manes, Costanzo; van der Schaft, Arjan; Di Benedetto, Maria Domenica
Bisimulation Theory for Switching Linear Systems 1-gen-2004 Pola, Giordano; A. J., van der Schaft; DI BENEDETTO, MARIA DOMENICA
Can linear stabilizability analysis be generalized to switching systems? 1-gen-2004 DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; Pola, Giordano
A complexity reduction approach to detectability of switching systems 1-gen-2010 DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; Pola, Giordano
A COMPLEXITY REDUCTION APPROACH TO THE DETECTION OF SAFETY CRITICAL SITUATIONS IN AIR TRAFFIC MANAGEMENT SYSTEMS 1-gen-2010 A., Petriccone; Pola, Giordano; DI BENEDETTO, MARIA DOMENICA; DE SANTIS, Elena
A Compositional Approach to Bisimulation of Arenas of Finite State Machines 1-gen-2011 Pola, Giordano; DI BENEDETTO, MARIA DOMENICA; DE SANTIS, Elena
A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems 1-gen-2009 DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; A., Petriccone; Pola, Giordano
The Concept of Deadlock and Livelock in Hybrid Control Systems 1-gen-2007 A., Abate; D'Innocenzo, Alessandro; Pola, Giordano; DI BENEDETTO, MARIA DOMENICA; S. S., Sastry