Related Books
Language: en
Pages: 177
Pages: 177
Type: BOOK - Published: 2020 - Publisher:
Language: en
Pages: 300
Pages: 300
Type: BOOK - Published: 2018-10-03 - Publisher: CRC Press
Because they incorporate both time- and event-driven dynamics, stochastic hybrid systems (SHS) have become ubiquitous in a variety of fields, from mathematical
Language: en
Pages: 172
Pages: 172
Type: BOOK - Published: 2018-09-17 - Publisher: kassel university press GmbH
This thesis proposes an algorithmic controller synthesis based on the computation of probabilistic reachable sets for stochastic hybrid systems. Hybrid systems
Language: en
Pages: 1441
Pages: 1441
Type: BOOK - Published: 2022-06-13 - Publisher: Springer Nature
This book, published in two volumes, embodies the proceedings of the 15th European Workshop on Advanced Control and Diagnosis (ACD 2019) held in Bologna, Italy,
Language: en
Pages: 471
Pages: 471
Type: BOOK - Published: 2019-06-11 - Publisher: Springer
This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques