Some problems of analysis of hybrid automata

DOI10.1007/S10559-018-0053-9zbMath1445.68127OpenAlexW2884147074WikidataQ129483421 ScholiaQ129483421MaRDI QIDQ1616244

R. Smith

Publication date: 1 November 2018

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-018-0053-9

zbMATH Keywords

verificationhybrid automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Modeling the scenarios of collapse of the commercial aquatic populations off the coast of Canada and Alaska ⋮ Methodology of the construction of computational scenarios for modeling extreme states in living systems

Cites Work

• Unnamed Item
• Unnamed Item
• Cyber-physical systems
• Languages and Tools for Hybrid Systems Design

This page was built for publication: Some problems of analysis of hybrid automata