Dynamical-Systems on Umang Mathur https://umangmathur.org/tags/dynamical-systems/ Recent content in Dynamical-Systems on Umang Mathur Hugo -- 0.148.2 en-us Sat, 01 Jan 2022 00:00:00 +0000 Controller Synthesis for Linear System With Reach-Avoid Specifications https://umangmathur.org/publications/2022-tac-fan-controller-synthesis/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2022-tac-fan-controller-synthesis/ Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics https://umangmathur.org/publications/2018-cav-fan-controller-synthesis/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2018-cav-fan-controller-synthesis/ Weak Singular Hybrid Automata https://umangmathur.org/publications/2014-formats-krishna-weak-singular-hybrid-automata/ Sat, 23 Aug 2025 16:46:18 +0000 https://umangmathur.org/publications/2014-formats-krishna-weak-singular-hybrid-automata/