Author of the publication

Symbolic Models for Networks of Control Systems.

, , and . IEEE Trans. Automat. Contr., 61 (11): 3663-3668 (2016)

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

Symbolic models for nonlinear control systems affected by disturbances., , and . Int. J. Control, 85 (10): 1422-1432 (2012)Approximate Diagnosis of Metric Systems., , and . IEEE Control. Syst. Lett., 2 (1): 115-120 (2018)Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems., , , and . IEEE Control. Syst. Lett., (2022)Data-driven controller synthesis for abstract systems with regular language specifications., , , and . Autom., (2021)Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach, and . CoRR, (2012)Stabilizability based State Space Reductions for Hybrid Systems., , and . ADHS, volume 39 of IFAC Proceedings Volumes, page 112-117. Elsevier, (2006)Sequences of Discrete Abstractions for Piecewise Affine Systems., and . ADHS, volume 45 of IFAC Proceedings Volumes, page 147-152. Elsevier, (2012)Inner approximations of domains of attraction for constrained continuous time linear systems., , and . ACC, page 1216-1221. IEEE, (2002)An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications., , and . CDC, page 1528-1533. IEEE, (2010)Achievable Bisimilar Behaviour of Abstract State Systems., , and . CDC/ECC, page 1535-1540. IEEE, (2005)