Set propagation techniques for reachability analysis
Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …
dynamical system from all initial states and for all admissible inputs and parameters. It is a …
Scenario understanding and motion prediction for autonomous vehicles—review and comparison
Scenario understanding and motion prediction are essential components for completely
replacing human drivers and for enabling highly and fully automated driving (SAE-Level …
replacing human drivers and for enabling highly and fully automated driving (SAE-Level …
Deepreach: A deep learning approach to high-dimensional reachability
Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for
guaranteeing performance and safety properties of dynamical control systems. Its …
guaranteeing performance and safety properties of dynamical control systems. Its …
Constrained zonotopes: A new tool for set-based estimation and fault detection
This article introduces a new class of sets, called constrained zonotopes, that can be used to
enclose sets of interest for estimation and control. The numerical representation of these …
enclose sets of interest for estimation and control. The numerical representation of these …
A multi-time-scale economic scheduling strategy for virtual power plant based on deferrable loads aggregation and disaggregation
To unlock the potential of flexible resources, a multi-time-scale economic scheduling
strategy for the virtual power plant (VPP) to participate in the wholesale energy and reserve …
strategy for the virtual power plant (VPP) to participate in the wholesale energy and reserve …
[PDF][PDF] Reachability analysis and its application to the safety assessment of autonomous cars
M Althoff - 2010 - mediatum.ub.tum.de
One of the biggest boosts for innovation in engineering has been the ongoing improvement
of digital processor technology. Connections between physical systems and computing …
of digital processor technology. Connections between physical systems and computing …
Aggregation and disaggregation of energetic flexibility from distributed energy resources
A variety of energy resources has been identified as being flexible in their electric energy
consumption or generation. This energetic flexibility can be used for various purposes such …
consumption or generation. This energetic flexibility can be used for various purposes such …
Aggregate operation model for numerous small-capacity distributed energy resources considering uncertainty
Numerous small-capacity distributed energy resources (DERs) pose technical challenges
and increase the management complexity for power system operators. This article proposes …
and increase the management complexity for power system operators. This article proposes …
Input design for guaranteed fault diagnosis using zonotopes
An input design method is presented for guaranteeing the diagnosability of faults from the
outputs of a system. Faults are modeled by discrete switches between linear models with …
outputs of a system. Faults are modeled by discrete switches between linear models with …
Powertrain control verification benchmark
Industrial control systems are often hybrid systems that are required to satisfy strict
performance requirements. Verifying designs against requirements is a difficult task, and …
performance requirements. Verifying designs against requirements is a difficult task, and …