[CORA] Reachability Analysis for Continuous Systems: Transmission Line

CORA computes reachable sets for linear systems, nonlinear systems as well as for systems with constraints. Continuous as well as discrete time models are supported. Uncertainty in the system inputs as well as uncertainty in the model parameters can be explicitly considered. In addition, CORA also provides capabilities for the simulation of dynamical models.

The example on the computes the reachable set of a system with uncertain parameters using interval matrices and matrix zonotopes, respectively, showing a transmission line which is modeled as an R-L-C circuit.
For details of the system, please visit Sec. 5.2 of 'Modeling, Design, and Simulation of Systems with Uncertainties' by Althoff et al.

For more information, please visit our website: https://cora.in.tum.de

#reachabilityanalysis #formalverification #dynamicsystems #differentialequations #set-basedcomputing #continuoussets