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