Author of the publication

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

Optimization of human generated trajectories for safety controller synthesis., and . ACC, page 4374-4379. IEEE, (2013)Functional gradient descent method for Metric Temporal Logic specifications., , , and . ACC, page 2312-2317. IEEE, (2014)Efficient Estimation of the Human Circadian Phase via Kalman Filtering., , , , and . EMBC, page 1-6. IEEE, (2023)Verification of temporal properties on hybrid automata by simulation relations., , , , and . CDC, page 4039-4044. IEEE, (2007)Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses., , , , , and . CDC/ECC, page 2227-2232. IEEE, (2011)Feedback control law generation for safety controller synthesis., and . CDC, page 3912-3917. IEEE, (2013)Verification of Hybrid Automata Diagnosability With Measurement Uncertainty., , , , and . IEEE Trans. Autom. Control., 61 (4): 982-993 (2016)Information-Guided Temporal Logic Inference with Prior Knowledge., , , and . CoRR, (2018)Traffic flow control in vehicular communication networks., , and . ACC, page 5513-5518. IEEE, (2017)Identification of stable genetic networks using convex programming., , , and . ACC, page 2755-2760. IEEE, (2008)