Author of the publication

An Approach to the Verification of the Center-TRACON Automation System.

, , and . HSCC, volume 1386 of Lecture Notes in Computer Science, page 289-304. Springer, (1998)

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

Identification and Control of Cell Populations., and . Encyclopedia of Systems and Control, Springer, (2015)On the connection between compression learning and scenario based optimization., , and . CoRR, (2014)Nash and Wardrop equilibria in aggregative games with coupling constraints., , , , and . CoRR, (2017)A Tractable Fault Detection and Isolation Approach for Nonlinear Systems with Probabilistic Performance., and . CoRR, (2014)Motion Planning via Optimal Control for Stochastic Processes, , and . CoRR, (2012)On the connections between PCTL and Dynamic Programming., , , and . CoRR, (2009)Revisiting the Viability Algorithm for Hybrid Systems Using Optimal Control., and . ADHS, volume 45 of IFAC Proceedings Volumes, page 25-32. Elsevier, (2012)Probabilistic regulation in stochastic hybrid systems subject to safety constraints., , and . ADHS, volume 42 of IFAC Proceedings Volumes, page 286-291. Elsevier, (2009)Efficient Approximation of Channel Capacities., , , and . CoRR, (2014)On Infinite Linear Programming and the Moment Approach to Deterministic Infinite Horizon Discounted Optimal Control Problems., , , and . IEEE Control. Syst. Lett., 1 (1): 134-139 (2017)