Search Results for author:
Found 5 papers, 2 papers with code
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts
We take a divide and conquer approach to design controllers for reachability problems given large-scale linear systems with polyhedral constraints on states, controls, and disturbances.
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization
We develop a novel decentralized control method for a network of perturbed linear systems with dynamical couplings subject to Signal Temporal Logic (STL) specifications.
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Central to our approach is a method for efficient and rejection-free sampling of signals from a Gaussian distribution such that satisfy or violate a given STL formula.
Linear Encodings for Polytope Containment Problems
This problem is rooted in computational convexity, and arises in applications such as verification and control of dynamical systems.
Optimization and Control Computational Geometry
Sampling-based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems
Piecewise affine (PWA) systems are widely used to model highly nonlinear behaviors such as contact dynamics in robot locomotion and manipulation.
Systems and Control Robotics Optimization and Control
