Algorithmic Verification of Continuous and Hybrid Systems

Autor:	Maler, Oded
Rok vydání:	2014
Předmět:	Computer Science - Systems and Control Computer Science - Formal Languages and Automata Theory Computer Science - Logic in Computer Science Computer Science - Numerical Analysis
Zdroj:	EPTCS 140, 2014, pp. 48-69
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.140.4
Popis:	We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes replace an infinite number of simulations. Comment: In Proceedings INFINITY 2013, arXiv:1402.6610
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1403.0952 Zobrazit plný text záznamu View this record from Arxiv