scientific article; zbMATH DE number 6783107
From MaRDI portal
Publication:5364938
Temporal logic (03B44) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical problems of computer architecture (68M07) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete event control/observation systems (93C65)
Recommendations
- Embedded system design. Embedded systems foundations of cyber-physical systems
- Embedded system design. Embedded systems foundations of cyber-physical systems, and the Internet of Things
- Principles of cyber-physical systems. An interdisciplinary approach
- Cyber-physical systems
- Cyber-physical systems: modelling and industrial application
- Eingebettete Systeme
- Embedded Systems Handbook, Second Edition
Cited in
(26)- Some problems of analysis of hybrid automata
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Cyber-physical systems
- Cyber-physical systems: the linguistic aspect
- Dynamical systems and sheaves
- Handbook of networked and embedded control systems.
- Towards a modeling language for cyber-physical systems
- Embedded system design. Embedded systems foundations of cyber-physical systems
- Introduction to model checking
- Modeling for Verification
- Verification of Hybrid Systems
- Process-oriented approach to the design of cyber-physical systems
- A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS
- scientific article; zbMATH DE number 2044596 (Why is no real title available?)
- Logical foundations of cyber-physical systems
- scientific article; zbMATH DE number 1821698 (Why is no real title available?)
- Principles of cyber-physical systems. An interdisciplinary approach
- Embedded system design. Embedded systems foundations of cyber-physical systems, and the Internet of Things
- On distributed coordination in networks of cyber-physical systems
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- Vector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected Systems
- LTL-specification for development and verification of control programs
- Synthesis of parametric hybrid automata from time series
- SySCoRe: Synthesis via Stochastic Coupling Relations
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
- Hybrid consensus for averager-copier-voter networks with non-rational agents
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5364938)
