Author of the publication

Hybrid Systems with Finite Bisimulations.

, , and . Hybrid Systems, volume 1567 of Lecture Notes in Computer Science, page 186-203. Springer, (1997)

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

Multi-path Routing Metrics for Reliable Wireless Mesh Routing Topologies, , , , and . CoRR, (2011)Complete characterization of mixing time for the continuous quantum walk on the hypercube with markovian decoherence model., , , and . Quantum Inf. Comput., 9 (9&10): 856-878 (2009)Markov chain Monte Carlo data association for general multiple-target tracking problems., , and . CDC, page 735-742. IEEE, (2004)Probabilistic safety analysis in three dimensional aircraft flight., , and . CDC, page 5335-5340. IEEE, (2003)An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems., , , and . CDC, page 4018-4023. IEEE, (2008)An algebraic geometric approach to the identification of a class of linear hybrid systems., , , and . CDC, page 167-172. IEEE, (2003)Optimal collision avoidance and formation switching on Riemannian manifolds., and . CDC, page 1071-1076. IEEE, (2001)Implementing and testing a nonlinear model predictive tracking controller for aerial pursuit/evasion games on a fixed wing aircraft., , and . ACC, page 1509-1514. IEEE, (2005)Estimation over Wireless Sensor Networks., , , and . ACC, page 2732-2737. IEEE, (2007)A priori detection of Zeno behavior in communication networks modeled as hybrid systems., , and . ACC, page 1-6. IEEE, (2006)