%0 Conference Proceedings
%T Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne
%+ Università degli studi di Verona = University of Verona (UNIVR)
%+ Università degli Studi di Padova = University of Padua (Unipd)
%+ Maastricht University [Maastricht]
%+ Barry University
%A Geretti, Luca
%A Bresolin, Davide
%A Collins, Pieter
%A Gonzalez, Sanja, Zivanovic
%A Villa, Tiziano
%Z Part 6: Short Contributions
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 29th IFIP International Conference on Testing Software and Systems (ICTSS)
%C St. Petersburg, Russia
%Y Nina Yevtushenko
%Y Ana Rosa Cavalli
%Y Hüsnü Yenigün
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-10533
%P 313-319
%8 2017-10-09
%D 2017
%R 10.1007/978-3-319-67549-7_19
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Cyber-physical systems (CPS) are hybrid systems that commonly consist of a discrete control part that operates in a continuous environment. Hybrid automata are a convenient model for CPS suitable for formal verification. The latter is based on reachability analysis of the system to trace its hybrid evolution and consequently verify its properties. However, when computing reachable states, a challenging task especially for nonlinear noisy systems is to control automatically the numerical precision to obtain meaningful approximations of the reached set. This paper presents the ongoing work and open issues in the automated computation of system evolution when the dynamics is described by differential inclusions. Differential inclusions allow to model noise for hybrid systems and also to decouple the components in a complex system, in order to simplify model-based design and verification. The proposed work aims to extend the capabilities of Ariadne, a C++ library to perform formal verification of nonlinear hybrid systems.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01678971/document
%2 https://inria.hal.science/hal-01678971/file/449632_1_En_19_Chapter.pdf
%L hal-01678971
%U https://inria.hal.science/hal-01678971
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-10533