Hybrid systems define a common mathematical framework for combining continuous and discrete processes, like the case of processes defined by differential equations and by transition relations, respectively. Electrical circuits with both analog and digital components, models of impacts, computing devices running real-time applications, are all examples of processes defined by a combination of differential equations and transition relations. Thus, they can be modeled and studied as hybrid systems. Hybrid systems have been studied in the last twenty years both by the computer science community and by the control community, and a lot of different definitions and results have been developed. Common to all of these definitions is the mathematical characterization of the evolution and of the interaction of continuous and discrete processes by way of the crucial notion of state. In this thesis, we consider a quite general definition of hybrid systems that, to the best of the knowledge of the candidate, subsumes classical definitions of a hybrid system in both computer science and control theory. Based on this general definition of a hybrid system, we study two classical problems: stability problems of control theory and verification problems of computer science, both generalized to hybrid systems. Indeed, in the first part of the thesis, we propose Lyapunov-like tools for the stability problem of a peculiar class of hybrid systems, and we propose a specific temporal logic, and a method for rewriting the formulas of this logic as fixpoint expressions, for the verification problem of hybrid systems. The synthesis problem on hybrid systems, namely the problem of synthesizing a hybrid system for achieving some predetermined goal, is a forward consequence of the studies on analysis of hybrid systems. In the second part of the thesis, we consider the framework of dynamical control systems, proposing non-hybrid controllers on continuous systems with bounds on the inputs, and hybrid controllers that, by virtue of their discrete dynamics, guarantee suitable properties of the closed loop. Is worth mentioning that the combination of a classical continuous process and of a hybrid controller results in a hybrid system that can be studied with the analysis tools developed in the first part of the thesis.

I sistemi ibridi possono essere utilizzati per modellare processi continui, come quelli descritti da equazioni differenziali, e processi discreti, come quelli descritti da relazioni di transizione. Circuiti elettrici composti da parti analogiche e digitali, sistemi con impatti, computer operanti con vincoli di real-time sono esempi di sistemi definibili mediante la modellazione come sistema ibrido delle loro parti continue e discrete e della relativa interazione. Molte definizioni di sistema ibrido possono essere trovate in letteratura. In generale, la modellazione del comportamento di un sistema ibrido e l'interazione delle parti discrete e continue è basata sulla nozione centrale di stato. In questa tesi si considera una definizione di sistema ibrido molto generale, che sussume le altre definizioni presenti in letteratura. Utilizzando questa definizione generale, nella tesi vengono studiati due problemi classici per la teoria del controllo e per l'informatica: problemi di stabilità e problemi di verifica formale, entrambi generalizzati su sistemi ibridi. Il problema della stabilità di sistemi ibridi è studiato per una particolare classe di sistemi ibridi detti homogenei. Si segue un approccio prossimo alla teoria di Lyapunov e sono proposti degli algoritmi basati sulla decomposizione di polinomi in somme dei quadrati (sum of squares problems). Il problema della verifica formale di sistemi ibridi è studiato attraverso la generalizzazione della semantica della logica temporale TCTL su sistemi ibridi. Si propone poi un metodo per ridurre formule TCTL a espressioni di punto fisso. Nella tesi sono trattati anche problemi di sintesi di controllori, nell'ambito classico della teoria del controllo. Sono proposti controllori continui per sistemi con saturazioni in input. Sono poi proposti controllori ibridi per problemi di passività di sistemi e di definizione di politiche di trasmissione dati su modelli semplificati di reti.

Forni, F. (2010). Analisi di sistemi ibridi e progetto di controllori ibridi.

Analisi di sistemi ibridi e progetto di controllori ibridi

FORNI, FULVIO
2010-04-29

Abstract

Hybrid systems define a common mathematical framework for combining continuous and discrete processes, like the case of processes defined by differential equations and by transition relations, respectively. Electrical circuits with both analog and digital components, models of impacts, computing devices running real-time applications, are all examples of processes defined by a combination of differential equations and transition relations. Thus, they can be modeled and studied as hybrid systems. Hybrid systems have been studied in the last twenty years both by the computer science community and by the control community, and a lot of different definitions and results have been developed. Common to all of these definitions is the mathematical characterization of the evolution and of the interaction of continuous and discrete processes by way of the crucial notion of state. In this thesis, we consider a quite general definition of hybrid systems that, to the best of the knowledge of the candidate, subsumes classical definitions of a hybrid system in both computer science and control theory. Based on this general definition of a hybrid system, we study two classical problems: stability problems of control theory and verification problems of computer science, both generalized to hybrid systems. Indeed, in the first part of the thesis, we propose Lyapunov-like tools for the stability problem of a peculiar class of hybrid systems, and we propose a specific temporal logic, and a method for rewriting the formulas of this logic as fixpoint expressions, for the verification problem of hybrid systems. The synthesis problem on hybrid systems, namely the problem of synthesizing a hybrid system for achieving some predetermined goal, is a forward consequence of the studies on analysis of hybrid systems. In the second part of the thesis, we consider the framework of dynamical control systems, proposing non-hybrid controllers on continuous systems with bounds on the inputs, and hybrid controllers that, by virtue of their discrete dynamics, guarantee suitable properties of the closed loop. Is worth mentioning that the combination of a classical continuous process and of a hybrid controller results in a hybrid system that can be studied with the analysis tools developed in the first part of the thesis.
29-apr-2010
A.A. 2009/2010
Informatica e Ingegneria dell’Automazione
22.
I sistemi ibridi possono essere utilizzati per modellare processi continui, come quelli descritti da equazioni differenziali, e processi discreti, come quelli descritti da relazioni di transizione. Circuiti elettrici composti da parti analogiche e digitali, sistemi con impatti, computer operanti con vincoli di real-time sono esempi di sistemi definibili mediante la modellazione come sistema ibrido delle loro parti continue e discrete e della relativa interazione. Molte definizioni di sistema ibrido possono essere trovate in letteratura. In generale, la modellazione del comportamento di un sistema ibrido e l'interazione delle parti discrete e continue è basata sulla nozione centrale di stato. In questa tesi si considera una definizione di sistema ibrido molto generale, che sussume le altre definizioni presenti in letteratura. Utilizzando questa definizione generale, nella tesi vengono studiati due problemi classici per la teoria del controllo e per l'informatica: problemi di stabilità e problemi di verifica formale, entrambi generalizzati su sistemi ibridi. Il problema della stabilità di sistemi ibridi è studiato per una particolare classe di sistemi ibridi detti homogenei. Si segue un approccio prossimo alla teoria di Lyapunov e sono proposti degli algoritmi basati sulla decomposizione di polinomi in somme dei quadrati (sum of squares problems). Il problema della verifica formale di sistemi ibridi è studiato attraverso la generalizzazione della semantica della logica temporale TCTL su sistemi ibridi. Si propone poi un metodo per ridurre formule TCTL a espressioni di punto fisso. Nella tesi sono trattati anche problemi di sintesi di controllori, nell'ambito classico della teoria del controllo. Sono proposti controllori continui per sistemi con saturazioni in input. Sono poi proposti controllori ibridi per problemi di passività di sistemi e di definizione di politiche di trasmissione dati su modelli semplificati di reti.
hybrid systems; stability; verification; formal methods; reset; nonlinear; passivity; Lyapunov; temporal logic
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Tesi di dottorato
Forni, F. (2010). Analisi di sistemi ibridi e progetto di controllori ibridi.
File in questo prodotto:
File Dimensione Formato  
thesis.pdf

accesso aperto

Dimensione 3.39 MB
Formato Adobe PDF
3.39 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/1251
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact