2018/06/13 by Asad Ullah Awan, Majid Zamani, Awan, Asad Ullah +1
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #FOS: Electrical engineering #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1806.04916
openalex publication_date 2018/06/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this work, we derive conditions under which abstractions of networks of\nstochastic hybrid systems can be constructed compositionally. Proposed\nconditions leverage the interconnection topology, switching randomly between P\ndifferent interconnection topologies, and the joint dissipativity-type\nproperties of subsystems and their abstractions. The random switching of the\ninterconnection is modelled by a Markov chain. In the proposed framework, the\nabstraction, itself a stochastic hybrid system (possibly with a lower\ndimension), can be used as a substitute of the original system in the\ncontroller design process. Finally, we provide an example illustrating the\neffectiveness of the proposed results by designing a controller enforcing some\nlogic properties over the interconnected abstraction and then refining it to\nthe original interconnected system.\n