Search Results for author:
Found 3 papers, 2 papers with code
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.
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
This paper is concerned with developing a software tool, called IMPaCT, for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs), respectively.
Data-Driven Abstraction-Based Control Synthesis
The growth bound together with the sampled trajectories are then used to construct the abstraction and synthesise a controller.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
