Dynamical-Systems

Controller Synthesis for Linear System With Reach-Avoid Specifications

January 1, 2022

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics

July 18, 2018

Weak Singular Hybrid Automata

September 8, 2014