HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Vasumathi Raman

Publications
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Scott Livingston and Vasumathi Raman
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications
Alexandre Donzé and Vasumathi Raman
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

benchmark, BluSTL, control, formal methods, Linear Temporal Logic, MATLAB, Mixed Integer Linear Programming, Model Predictive Control, motion planning, reach-avoid, Robotics, Signal Temporal Logic, synthesis2, tools.

Copyright © 2012-2025 easychair.org. All rights reserved.