scientific article; zbMATH DE number 6783107

zbMATH Open1371.68001MaRDI QIDQ5364938FDOQ5364938

Authors: Edward A. Lee, Sanjit A. Seshia 

Publication date: 29 September 2017

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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)

Cited In (26)

• 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.
• Title not available (Why is that?)
• Hybrid consensus for averager-copier-voter networks with non-rational agents
• 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
• On distributed coordination in networks of cyber-physical systems
• Towards a modeling language for cyber-physical systems
• Verification of Hybrid Systems
• Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
• SySCoRe: Synthesis via Stochastic Coupling Relations
• Title not available (Why is that?)
• Introduction to model checking
• 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
• Logical foundations of cyber-physical systems
• Principles of cyber-physical systems. An interdisciplinary approach

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)