Abstract
Differential inclusions are mathematical models of nondeterministic continuous-time systems for which no stochastic information on the behavior is known. They arise naturally as reduced models of deterministic systems or as models of components of a distributed system with partial knowledge of the inputs. In order to verify that such systems satisfy safety specifications, we need to compute rigorous over-approximations to the set of reachable states. In this essay, we outline such a method, which gives high-order error for a single time step and a uniform bound on the error over the finite time interval. The approach is based on the approximations of inputs by finitely parametrized functions at each time step.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aubin JP, Cellina A (1984) Differential inclusions: set-valued maps and viability theory. Grundlehren der Mathematischen Wissenschaften, 264. Springer, Berlin
Kurzhanski A, Valyi I (1997) Ellipsoidal calculus for estimation and control (English summary). Systems and control: foundations and applications. Birkhà user Boston Inc, Boston, MA; International Institute for Applied Systems Analysis, Laxenburg
Zgliczynski P, Kapela TA (2009) Lohner algorithm for perturbation of ODEs and differential inclusions. Discrete Contin Dyn Syst Ser B 11(2):365–385
Puri A, Borkar V, Varaiya P (1995) \(\epsilon \)-approximation of differential inclusions. In: Proceedings of the 34th IEEE conference on decision and control, pp 2892–2897
Beyn W-J, Rieger J (2007) Numerical fixed grid methods for differential inclusions (English summary). Computing 81(1):91–106
Baier R, Gerdts M (2009) A computational method for non-convex reachable sets using optimal control. In: Proceedings of the European control conference 2009, Budapest, Hungary, pp 97–102
Dontchev A, Lempio F (1992) Difference methods for differential inclusions: a survey. SIAM Rev 34(2):263–294
Dontchev T (2002) Euler approximation of nonconvex discontinuous differential inclusions (English summary). An Stiint Univ Ovidius Constanta Ser Mat 10(1):73–86
Dontchev AL, Farkhi EM (1989) Error estimates for discretized differential inclusion. Computing 41(4):349–358
Grammel G (2003) Towards fully discretized differential inclusions. Set-Valued Anal 11(1):1–8
Živanović Gonzalez S, Collins P (2010) Numerical solutions to noisy systems. In: Proceedings of the 49th IEEE conference on decision and control
Živanović Gonzalez S, Collins P (2010) Higher order methods for differential inclusions. CWI technical report
Makino K, Berz M (2003) Taylor models and other validated functional inclusion methods. Int J Pure Appl Math 4(4):379–456
Revol N, Makino K, Berz M (2005) Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J Log Algebr Program 64(1):135–154
Söderlind G (2006) The logarithmic norm. History and modern theory (English summary). BIT 46(3):631–652
Benvenuti L, Bresolin D, Casagrande A, Collins P, Ferrari A, Mazzi E, Sangiovanni-Vincentelli A, Villa T (2008) Reachability computation for hybrid systems with Ariadne. In: Proceedings of the 17th IFAC World Congress
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Živanović Gonzalez, S., Collins, P. (2015). Computing Reachable Sets of Differential Inclusions. In: van Schuppen, J., Villa, T. (eds) Coordination Control of Distributed Systems. Lecture Notes in Control and Information Sciences, vol 456. Springer, Cham. https://doi.org/10.1007/978-3-319-10407-2_41
Download citation
DOI: https://doi.org/10.1007/978-3-319-10407-2_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10406-5
Online ISBN: 978-3-319-10407-2
eBook Packages: EngineeringEngineering (R0)