DSpace - Tor Vergata: Item 2108/1251

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	Size	Format
thesis.pdf		3385Kb	Adobe PDF	View/Open