Author of the publication

Compositional synthesis of almost maximally permissible safety controllers.

, and . ACC, page 1678-1683. IEEE, (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

Efficient parameters selection for artificial intelligence models of nanoscale MOSFETs., , , and . CCECE, page 840-844. IEEE, (2011)From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes., , and . CoRR, (2017)From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems., and . CoRR, (2018)Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems., , and . CoRR, (2018)Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach., , and . CoRR, (2019)Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems., , and . CoRR, (2018)Application and system-level software fault tolerance through full system restarts., , , , and . ICCPS, page 197-206. ACM, (2017)A feature design framework for hardware efficient neural spike sorting., , , and . EMBC, page 1516-1519. IEEE, (2015)On a notion of estimation entropy for stochastic hybrid systems., and . Allerton, page 780-785. IEEE, (2016)Symbolic models of networked control systems: A feedback refinement relation approach., , and . Allerton, page 187-193. IEEE, (2016)