Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
| Autor: | Awan, Asad Ullah, Zamani, Majid |
|---|---|
| Rok vydání: | 2018 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | In this work, we derive conditions under which abstractions of networks of stochastic hybrid systems can be constructed compositionally. Proposed conditions leverage the interconnection topology, switching randomly between P different interconnection topologies, and the joint dissipativity-type properties of subsystems and their abstractions. The random switching of the interconnection is modelled by a Markov chain. In the proposed framework, the abstraction, itself a stochastic hybrid system (possibly with a lower dimension), can be used as a substitute of the original system in the controller design process. Finally, we provide an example illustrating the effectiveness of the proposed results by designing a controller enforcing some logic properties over the interconnected abstraction and then refining it to the original interconnected system. Comment: arXiv admin note: substantial text overlap with arXiv:1805.08815 |
| Databáze: | arXiv |
| Externí odkaz: |
|