2 papers
eess.SY2020
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani +1
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic sys…
eess.SY2020
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
Alex Devonport, Mahmoud Khaled, Murat Arcak +1
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many rea…