Název: An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
Autoři: Ratschan, Stefan
Typ dokumentu: Příspěvky z konference
Konference/Akce: REG 2012. International Conference on Reliable Engineering Computing /5./, Brno (CZ), 2012-06-13 / 2012-06-15
Rok: 2012
Jazyk: eng
Abstrakt: Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present an modeling formalism and safety verification algorithm for such heterogeneous systems.
Klíčová slova: complex systems; safety; verification
Číslo projektu: OC10048 (CEP)
Poskytovatel projektu: GA MŠk
Zdrojový dokument: REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing, ISBN 978-80-214-4507-9

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v repozitáři Akademie věd.
Původní záznam: http://hdl.handle.net/11104/0209721

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-115369


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference