New article: Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

Article: DeCastro, JA; Kress-Gazit, H; “Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors”, HSCC’16: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 225-234 DOI Abstract: Motivated by the ...
Read More

January 20, 2017Uncategorizedbarrier certificates, Controller synthesis, controls, motion planning, nonlinear systems, robotics, verification

New article: Synthesis of Nonlinear Continuous Controllers for Verifiably Correct High-level, Reactive Behaviors

Article: DeCastro, JA; Kress-Gazit, H; (2015) “Synthesis of Nonlinear Continuous Controllers for Verifiably Correct High-level, Reactive Behaviors”, International Journal of Robotics Research, 34(3):378-394 DOI Abstract: Planning robotic missions in environments shared by humans involves ...
Read More

March 30, 2015Uncategorizedcontroller composition, Controller synthesis, motion planning, nonlinear verification, reactive planning

menu

MAE Publications and Papers

Sibley School of Mechanical and Aerospace Engineering

Posts Tagged: Controller synthesis

Tag Archives: Controller synthesis

New article: Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

New article: Synthesis of Nonlinear Continuous Controllers for Verifiably Correct High-level, Reactive Behaviors