Článek ve sborníku konference

LAURENTI Luca, ABATE Alessandro, BORTOLUSSI Luca, CARDELLI Luca, ČEŠKA Milan a KWIATKOWSKA Marta. Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision. In: Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, 2017, s. 55-64. ISBN 978-1-4503-4590-3.
Jazyk publikace:angličtina
Název publikace:Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision
Název (cs):Vypočet Dosažitelnosti v Hybridnich Systémech:Konečná Abstrakce s Garantovanou Chybou
Strany:55-64
Sborník:Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control
Konference:ACM International Conference on Hybrid Systems: Computation and Control
Řada knih:ACM
Místo vydání:New York, US
Rok:2017
ISBN:978-1-4503-4590-3
Vydavatel:Association for Computing Machinery
Klíčová slova

Switching diffusions; stochastic hybrid models; reachability and safety analysis; finite abstractions; time and space dis- cretisation; numerical computations 

Anotace
Článek se zabývá konečnou abstrakcí s garantovanou chybou pro výpočet dosažitelnosti v hybridnich systémech.
BibTeX:
@INPROCEEDINGS{
   author = {Luca Laurenti and Alessandro Abate and Luca
	Bortolussi and Luca Cardelli and Milan
	{\v{C}}e{\v{s}}ka and Marta Kwiatkowska},
   title = {Reachability Computation for Switching
	Diffusions:Finite Abstractions with Certifiable
	and Tuneable Precision},
   pages = {55--64},
   booktitle = {Proceedings of the 20th ACM International Conference on
	Hybrid Systems: Computation and Control},
   series = {ACM},
   year = {2017},
   location = {New York, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-4503-4590-3},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11368}
}

Vaše IPv4 adresa: 54.163.42.154
Přepnout na IPv6 spojení

DNSSEC [dnssec]