scientific article; zbMATH DE number 6783107

zbMath1371.68001MaRDI QIDQ5364938

Sanjit A. Seshia, Edward A. Lee

Publication date: 29 September 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Data encryption (aspects in computer science) (68P25) Discrete event control/observation systems (93C65) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical problems of computer architecture (68M07) Temporal logic (03B44)

Related Items (19)

Some problems of analysis of hybrid automata ⋮ A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Introduction to Model Checking ⋮ Modeling for Verification ⋮ Verification of Hybrid 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 ⋮ Cyber-physical systems ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems ⋮ Cyber-physical systems: the linguistic aspect ⋮ On distributed coordination in networks of cyber-physical systems ⋮ Process-Oriented Approach to the Design of Cyber-Physical Systems ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ Hybrid consensus for averager-copier-voter networks with non-rational agents ⋮ Dynamical systems and sheaves ⋮ A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS ⋮ Towards a Modeling Language for Cyber-Physical Systems

This page was built for publication: