DSpace - Tor Vergata >
Facolt√† di Ingegneria >
Tesi di dottorato in ingegneria >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2108/1251

Title: Analisi di sistemi ibridi e progetto di controllori ibridi
Other Titles: Analysis of hybrid systems and design of hybrid controllers
Authors: Pettorossi, Alberto
Zaccarian, Luca
Forni, Fulvio
Keywords: hybrid systems
stability
verification
formal methods
reset
nonlinear
passivity
Lyapunov
temporal logic
Issue Date: 29-Apr-2010
Abstract: 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...
Description: 22. ciclo
URI: http://hdl.handle.net/2108/1251
Appears in Collections:Tesi di dottorato in ingegneria

Files in This Item:

File Description SizeFormat
thesis.pdf3385KbAdobe PDFView/Open

Show full item record

All items in DSpace are protected by copyright, with all rights reserved.