A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels

@inproceedings{Mitchell2015ASO,
  title={A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels},
  author={Ian M. Mitchell},
  booktitle={SNR@CAV},
  year={2015}
}
Viability and discriminating kernels are powerful constructs for analyzing system safety through model checking, but until recently the only computational algorithms available were nonparametric gridbased approaches which, although accurate, scaled exponentially with the dimension of the system’s state space. In contrast, several polynomial complexity reachability algorithms have been developed using various parametric set representations. In a recent series of papers, two of these parametric… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 20 references

Approximation of the viability kernel

Patrick Saint-Pierre
Applied Mathematics and Optimization, • 1994
View 4 Excerpts
Highly Influenced

Viability Theory: New Directions

Jean-Pierre Aubin, Alexandre M. Bayen, Patrick Saint-Pierre
Systems & Control: Foundations & Applications. Springer, • 2011
View 2 Excerpts

Similar Papers

Loading similar papers…