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

Falsified Model-Invariant Safety-Preserving Control With Application to Closed-Loop Anesthesia., , , , and . IEEE Trans. Control. Syst. Technol., 28 (2): 617-625 (2020)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)Model-invariant safety-preserving control., , , , and . ACC, page 6689-6694. IEEE, (2016)Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques., , , and . ACC, page 2425-2430. IEEE, (2012)Continuous path planning with multiple constraints., and . CDC, page 5502-5507. IEEE, (2003)Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics., and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 630-633. Springer, (2008)Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms., and . NSV@CAV, volume 11652 of Lecture Notes in Computer Science, page 128-144. Springer, (2019)Best Practices for Scientific Computing, , , , , , , , , and 3 other author(s). PLoS Biology, 12 (1): e1001745+ (Sep 26, 2013)