Search Results for author:
Found 5 papers, 1 papers with code
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems.
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances
First, a lower-dimensional linear system (abstraction) and an associated interface are designed to enable the output of the PWA system (concrete system) to track the output of the abstraction.
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic
The state-of-the-art in optimal control from timed temporal logic specifications, including Metric Temporal Logic (MTL) and Signal Temporal Logic (STL), is based on Mixed-Integer Convex Programming (MICP).
Active Perception and Control from PrSTL Specifications
This work combines symbolic control with active perception to achieve complex tasks in a partially observed and noisy control system with hybrid dynamics.
Kalman Filtering with Gaussian Processes Measurement Noise
We propose general Gaussian Processes as a non-parametric model for correlated measurement noise that is flexible enough to accurately reflect correlation in time, yet simple enough to enable efficient computation.
