Author of the publication

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets.

, , and . HSCC, volume 2034 of Lecture Notes in Computer Science, page 418-432. Springer, (2001)

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

Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation.. HSCC, page 103-112. ACM, (2011)Learning Motion Predictors for Smart Wheelchair Using Autoregressive Sparse Gaussian Process., , , , and . ICRA, page 713-718. IEEE, (2018)Optimal Path Planning under Defferent Norms in Continuous State Spaces., and . ICRA, page 866-872. IEEE, (2006)Computing the viability kernel using maximal reachable sets., , , , and . HSCC, page 55-64. ACM, (2012)Shared control policies for safe wheelchair navigation of elderly adults with cognitive and mobility impairments: Designing a wizard of oz study., , , , and . ACC, page 4087-4094. IEEE, (2014)Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals., , , and . CDC, page 7431-7438. IEEE, (2016)Guest Editorial Special Section on Control and Automation From the 2015 International Conference on Cyber-Physical Systems (ICCPS)., , , and . IEEE Trans Autom. Sci. Eng., 13 (2): 448-449 (2016)Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract., , and . HSCC, page 268-269. ACM, (2019)Towards an emotionally-aware smart wheelchair: poster abstract., and . ICCPS, page 318-319. ACM, (2019)An improved algorithm for robust safety analysis of sampled data systems., and . HSCC, page 21-30. ACM, (2015)