Author of the publication

STORMED Hybrid Systems.

, , , and . ICALP (2), volume 5126 of Lecture Notes in Computer Science, page 136-147. Springer, (2008)

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

Application of variance reduction techniques for tau-leaping systems to particle filters., , and . CDC, page 6683-6689. IEEE, (2012)Control, Estimation, and Optimization of Interconnected Systems: From Theory to Industrial Applications., , , , , , , , and . CDC/ECC, page 24-26. IEEE, (2005)Finite gain stabilization with logarithmic quantization., and . CDC, page 3952-3957. IEEE, (2007)Analysis of mode-dependent statistics of Markovian jump linear systems., and . CDC, page 5031-5032. IEEE, (2003)Anticorrelated discrete-time stochastic simulation., , and . CDC, page 618-623. IEEE, (2013)Global stability of internet congestion controllers with heterogeneous delays., , and . IEEE/ACM Trans. Netw., 14 (3): 579-591 (2006)Stability Analysis of Switched Linear Systems Defined by Regular Languages., , , and . IEEE Trans. Automat. Contr., 62 (5): 2568-2575 (2017)Control of spatially distributed nonstationary systems over arbitrary graph structures with communication latency., and . ACC, page 2368-2373. IEEE, (2013)Control of Systems With Uncertain Initial Conditions., and . IEEE Trans. Automat. Contr., 53 (11): 2646-2651 (2008)Stabilization of Spacecraft Flight in Halo Orbits: An H∞ Approach., , and . IEEE Trans. Contr. Sys. Techn., 14 (3): 572-578 (2006)