Author of the publication

Compositional construction of infinite abstractions for networks of stochastic control systems.

, , and . Autom., (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Approximate Opacity of Cyber-Physical Systems., , and . IEEE Trans. Autom. Control., 66 (4): 1630-1645 (2021)Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach., , and . IEEE Trans. Autom. Control., 69 (1): 214-229 (January 2024)Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems., , and . IEEE Trans. Autom. Control., 65 (12): 5280-5295 (2020)Invariance Feedback Entropy of Uncertain Control Systems., , and . IEEE Trans. Autom. Control., 66 (12): 5680-5695 (2021)Automated verification and synthesis of stochastic hybrid systems: A survey., , , and . Autom., (2022)Compositional construction of control barrier functions for continuous-time stochastic hybrid systems., , and . Autom., (2022)Data-driven verification of stochastic linear systems with signal temporal logic constraints., , and . Autom., (2021)Compositional synthesis of finite abstractions for networks of systems: A small-gain approach., and . Autom., (2019)Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach., , and . CoRR, (2019)Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems., , and . CoRR, (2019)