Detail publikace

Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision

LAURENTI, L.; ABATE, A.; BORTOLUSSI, L.; CARDELLI, L.; ČEŠKA, M.; KWIATKOWSKA, M. 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. ACM. New York: Association for Computing Machinery, 2017. p. 55-64. ISBN: 978-1-4503-4590-3.
Název česky
Vypočet Dosažitelnosti v Hybridnich Systémech:Konečná Abstrakce s Garantovanou Chybou
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Laurenti Luca (FIT)
Abate Alessandro (FIT)
Bortolussi Luca (FIT)
Cardelli Luca (FIT)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Kwiatkowska Marta (FIT)
Klíčová slova

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

Abstrakt

Článek se zabývá konečnou abstrakcí s garantovanou chybou pro výpočet dosažitelnosti v hybridnich systémech.

Rok
2017
Strany
55–64
Sborník
Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control
Řada
ACM
Konference
ACM International Conference on Hybrid Systems: Computation and Control, Pittsburgh, US
ISBN
978-1-4503-4590-3
Vydavatel
Association for Computing Machinery
Místo
New York
DOI
10.1145/3049797.3049812
UT WoS
000615962400007
EID Scopus
2-s2.0-85019051467
BibTeX 
@inproceedings{BUT144419,
  author="Luca {Laurenti} and Alessandro {Abate} and Luca {Bortolussi} and Luca {Cardelli} and Milan {Češka} and Marta {Kwiatkowska}",
  title="Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision",
  booktitle="Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control",
  year="2017",
  series="ACM",
  pages="55--64",
  publisher="Association for Computing Machinery",
  address="New York",
  doi="10.1145/3049797.3049812",
  isbn="978-1-4503-4590-3"
}
Nahoru