Some problems of analysis of hybrid automata

DOI10.1007/S10559-018-0053-9MaRDI QIDQ1616244zbMATH OpenOpenAlexWikidataFDO

Authors 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

hybrid automataverification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1507210
• Introduction to hybrid automata
• The algorithmic analysis of hybrid systems
• scientific article; zbMATH DE number 744075
• Inclusion dynamics hybrid automata

Cites work

• Cyber-physical systems
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 6783107 (Why is no real title available?)
• Languages and Tools for Hybrid Systems Design

Cited in

(16)

• An error analysis for execution traces of hybrid automata using Jacobi's equation
• Methodology of the construction of computational scenarios for modeling extreme states in living systems
• Modeling the scenarios of collapse of the commercial aquatic populations off the coast of Canada and Alaska
• Reachability Problems for Hybrid Automata
• Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
• An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata
• Differential automata and their discrete simulators
• scientific article; zbMATH DE number 1950549 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1760148 (Why is no real title available?)
• scientific article; zbMATH DE number 2085340 (Why is no real title available?)
• Introduction to hybrid automata
• scientific article; zbMATH DE number 1444354 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems
• Symbolic analysis of linear hybrid automata -- 25 years later
• Inclusion dynamics hybrid automata

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1616244)