Cyber-physical systems

DOI10.1007/s10559-017-9984-9zbMath1381.93009OpenAlexW2768758104MaRDI QIDQ1699390

V. A. Volkov, Volodymyr G. Skobelev, Alexander Letichevsky, A. A. jun. Letichevskii

Publication date: 23 February 2018

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

Full work available at URL: https://doi.org/10.1007/s10559-017-9984-9

zbMATH Keywords

verificationhybrid automatacyber-physical systems

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) General systems (93A10) Theory of computing (68Q99)

Related Items (3)

Some problems of analysis of hybrid automata ⋮ Cyber-physical systems: the linguistic aspect ⋮ Methodology of the construction of computational scenarios for modeling extreme states in living systems

Uses Software

• HyTech

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Analysis of the structure of attributed transition systems without hidden transitions
• Generating symbolic traces in the insertion modeling system
• Advances in the design of symbolic computation systems
• Hybrid I/O automata.
• From electrical switched networks to hybrid automata
• Reactive Systems
• Languages and Tools for Hybrid Systems Design

This page was built for publication: Cyber-physical systems