Hai Lin
Hybrid Dynamical Systems
An Introduction to Control and Verification
Buch
The methods for hybrid systems are distributed across a wide spectrum, ranging from methods known in the discrete (cyber-)domain at one end, to traditional approaches for the continuous physical systems at the other. Rooted at opposite ends, both computer scientists and control theorists have made significant contributions to the field of hybrid systems by extending traditional methods from the traditional discrete or continuous domain to deal with hybrid systems. However, in general, there has been little work on integrating methods from these two domains. This is possibly because the formal methods pursued in computer science traditionally…
Mehr
Beschreibung
The methods for hybrid systems are distributed across a wide spectrum, ranging from methods known in the discrete (cyber-)domain at one end, to traditional approaches for the continuous physical systems at the other. Rooted at opposite ends, both computer scientists and control theorists have made significant contributions to the field of hybrid systems by extending traditional methods from the traditional discrete or continuous domain to deal with hybrid systems. However, in general, there has been little work on integrating methods from these two domains. This is possibly because the formal methods pursued in computer science traditionally lie in the realm of discrete mathematics, while control theory approaches lie mainly in the realm of continuous mathematics. A noticeable trend in the recent hybrid system literature emphasizes the synthesis of hybrid controllers for continuous or hybrid dynamical systems to satisfy complicated temporal logic specifications. This is known as symbolic control or hybrid supervisory control, which can be seen as a crosstalk between these two schools of thoughts. Hybrid Dynamical Systems balances the emphasis on methods from both computer science and control theory, and gives the readers a complete picture of the whole field of hybrid dynamical systems. As well as providing a concise overview for a researcher in the field, the tutorial style makes it suitable for use in a course and by students.
CHF 135.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Antsaklis, Panos J.
- ISBN: 978-1-60198-784-6
- EAN: 9781601987846
- Produktnummer: 16269952
- Verlag: Now Publishers Inc
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 188 S.
- Masse: H23.4 cm x B15.6 cm x D1.0 cm 295 g
- Abbildungen: Paperback
- Gewicht: 295
22 weitere Werke von Hai Lin:
An Introduction to Control and Verification
Ebook (PDF Format)
CHF 65.00
An Introduction to Control and Verification
Ebook (PDF Format)
CHF 120.00
An Introduction to Control and Verification
Ebook (PDF Format)
CHF 240.00
An Introduction to Control and Verification
Ebook (PDF Format)
CHF 136.00
An Introduction to Control and Verification
Ebook (PDF Format)
CHF 59.00
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.