Hybrid Dynamical Systems: An Introduction to Control and Verification
Die Methoden für hybride Systeme sind über ein breites Spektrum verteilt, das von Methoden aus dem diskreten (Cyber-)Bereich auf der einen Seite bis zu traditionellen Ansätzen für kontinuierliche physikalische Systeme auf der anderen Seite reicht.
Sowohl Informatiker als auch Kontrolltheoretiker, die an den entgegengesetzten Enden verwurzelt sind, haben bedeutende Beiträge zum Gebiet der hybriden Systeme geleistet, indem sie traditionelle Methoden aus dem traditionellen diskreten oder kontinuierlichen Bereich auf hybride Systeme erweitert haben. Im Allgemeinen wurde jedoch wenig an der Integration von Methoden aus diesen beiden Bereichen gearbeitet.
Dies liegt möglicherweise daran, dass die in der Informatik verfolgten formalen Methoden traditionell im Bereich der diskreten Mathematik liegen, während steuerungstheoretische Ansätze hauptsächlich im Bereich der kontinuierlichen Mathematik angesiedelt sind. Ein auffälliger Trend in der neueren Literatur über hybride Systeme ist die Synthese hybrider Regler für kontinuierliche oder hybride dynamische Systeme, die komplizierte zeitlogische Spezifikationen erfüllen. Dies wird als symbolische Steuerung oder hybride Überwachungssteuerung bezeichnet, die als Überschneidung zwischen diesen beiden Denkrichtungen angesehen werden kann.
Hybride dynamische Systeme legt den Schwerpunkt auf Methoden aus der Informatik und der Kontrolltheorie und vermittelt dem Leser einen vollständigen Überblick über das gesamte Gebiet der hybriden dynamischen Systeme. Das Buch bietet nicht nur einen prägnanten Überblick für Forscher auf diesem Gebiet, sondern eignet sich aufgrund seines didaktischen Stils auch für den Einsatz in Kursen und für Studenten.
| ISBN: | 9781601987846 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
