SySCoRe: Synthesis via stochastic coupling relations
We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic
continuous-state systems to satisfy temporal logic specifications. Starting from a system …
continuous-state systems to satisfy temporal logic specifications. Starting from a system …
IMPaCT: I nterval M DP Pa rallel Construction for C ontroller Synthesis of Large-Scale ST ochastic Systems
This paper is concerned with developing an open-source software tool, called IMPaCT, for
the parallelized verification and controller synthesis of large-scale stochastic systems using …
the parallelized verification and controller synthesis of large-scale stochastic systems using …
[HTML][HTML] Similarity quantification for linear stochastic systems: A coupling compensator approach
BC van Huijgevoort, S Haesaert - Automatica, 2022 - Elsevier
For the formal verification and design of control systems, abstractions with quantified
accuracy are crucial. This is especially the case when considering accurate deviation …
accuracy are crucial. This is especially the case when considering accurate deviation …
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
We develop an open-source software tool, called PRoTECT, for the parallelized construction
of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs sum …
of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs sum …
Construction for Controller Synthesis of Large-Scale STochastic Systems
This paper is concerned with developing an open-source software tool, called IMPaCT, for
the parallelized verification and controller synthesis of large-scale stochastic systems using …
the parallelized verification and controller synthesis of large-scale stochastic systems using …