Cyber-physical systems

DOI10.1007/S10559-017-9984-9MaRDI QIDQ1699390zbMATH OpenOpenAlexFDO

Authors V. A. Volkov, A. A. Letichevskij, A. A. jun. Letichevskii, V. G. Skobelev

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)

Recommendations

• A calculus of cyber-physical systems
• scientific article; zbMATH DE number 1507210
• From finite automata toward hybrid systems (Extended abstract)
• Spatio-temporal hybrid automata for cyber-physical systems
• scientific article; zbMATH DE number 2065266

Cites work

• scientific article; zbMATH DE number 3876653 (Why is no real title available?)
• scientific article; zbMATH DE number 4098590 (Why is no real title available?)
• scientific article; zbMATH DE number 45082 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 6783107 (Why is no real title available?)
• scientific article; zbMATH DE number 3249557 (Why is no real title available?)
• Advances in the design of symbolic computation systems
• Algebra of behavior transformations and its applications
• Analysis of the structure of attributed transition systems without hidden transitions
• From electrical switched networks to hybrid automata
• Generating symbolic traces in the insertion modeling system
• Hybrid I/O automata.
• Languages and Tools for Hybrid Systems Design
• Modeling from reality
• Reactive Systems

Cited in

(12)

• Analysis of faults in cyber-physical systems by finite discrete-time Markov chains
• A calculus of cyber-physical systems
• Cyber-physical systems: the linguistic aspect
• Methodology of the construction of computational scenarios for modeling extreme states in living systems
• Some problems of analysis of hybrid automata
• scientific article; zbMATH DE number 6783107 (Why is no real title available?)
• Editorial: Advances in methods for networked and cyber-physical system
• Towards a modeling language for cyber-physical systems
• Spatio-temporal hybrid automata for cyber-physical systems
• Effectiveness assessment of cyber-physical systems
• A formal model for a hybrid programming language
• Cyber-Physical Systems: Modelling and Intelligent Control

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Cyber-physical systems

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