Approximation of differential inclusions

By Anuj Puri, Vivek Borkar. 2002

51 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Computational techniques for hybrid system verification (2003, methodology): “Alternatives to the approach proposed in this paper include: grid-based discretizationsof thecontinuousstatespace,whichcanbeautomated quite easily and robustly, but can lead to enormous finite-state approximations[9], [30];ellipsoidalapproximationsofreachable sets (at a given time), for which exact ”
Discrete abstractions of hybrid systems (2000, background): “This approach is taken in [18], [21], [30] [34], [60], [61], [63], [67], and [70], where reachable sets of differential equations”
Impulse differential inclusions: a viability approach to hybrid systems (2002, methodology): “mation techniques have been proposed to facilitate the analysis [17]–[19].”
Supervisory control of hybrid systems (2000, methodology): “Note that similar methods based on backward analysis of the dynamics have been discussed in [53] and [66].”
Online Verification of Automated Road Vehicles Using Reachability Analysis (2014, background): “4) In order to obtain practical results, we assume that other traffic participants respect traffic rules, as long as no traffic rule violation is detected—corresponding traffic rules are no longer considered once they are violated.”