• PESSOA

  • Referenced in 18 articles [sw20123]
  • controller synthesis tool for cyber-physical systems. We introduce Pessoa 2.0, a tool that automatically ... synthesizes controllers for cyber-physical systems based on correct-by-design methodology. Pessoa 2.0 accepts ... cyber-physical system represented by a set of smooth differential equations and automata...
  • PVeStA

  • Referenced in 16 articles [sw08423]
  • probabilistic systems such as, for example, cyber-physical systems which are often probabilistic in nature...
  • CORA

  • Referenced in 7 articles [sw25659]
  • classes for the formal verification of cyber-physical systems using reachability analysis. CORA integrates various...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • ModelPlex: verified runtime validation of verified cyber-physical system models. Formal verification and validation play ... crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong guarantees about...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • EFSMT: a logical framework for cyber-physical systems. The design of cyber-physical systems ... synthesis of distributed and embedded real-time systems for controlling, often in a nonlinear ... foundation for analyzing and synthesizing cyber-physical systems. We demonstrate the expressiveness of EFSMT...
  • SCELlight

  • Referenced in 4 articles [sw09887]
  • verifying properties of so-called cyber-physical systems consisting of software-intensive ensembles of components...
  • AADL

  • Referenced in 4 articles [sw20835]
  • number of cyber-physical systems are hierarchical distributed control systems whose components operate with different...
  • CyPhySim

  • Referenced in 2 articles [sw20140]
  • CyPhySim: a cyber-physical systems simulator. This demo provides a preview of a pre-release ... CyPhySim, an open-source simulator for cyber-physical systems. This simulator supports discrete-event models...
  • VeriPhy

  • Referenced in 2 articles [sw29643]
  • VeriPhy: verified controller executables from verified cyber-physical system models. We present VeriPhy, a verified ... high-level models of safety-critical cyber-physical systems (CPSs) in differential dynamic logic...
  • RealCertify

  • Referenced in 3 articles [sw28191]
  • from engineering sciences, program verification and cyber-physical systems. It is based on hybrid symbolic...
  • DimSim

  • Referenced in 1 article [sw09874]
  • Automatic dimensional analysis of cyber-physical systems. The first step in building a cyber-physical ... approach does not scale to complex cyber-physical systems with many interacting components. We present ... check the dimensional consistency of a cyber-physical system modeled in Simulink. DimSim generates ... uncovering critical errors in models of cyber-physical systems...
  • SystemModeler

  • Referenced in 2 articles [sw22545]
  • generation modeling and simulation environment for cyber-physical systems. Using drag and drop from...
  • NetSketch

  • Referenced in 2 articles [sw20006]
  • this paper, we define the formal system underlying the operation of NetSketch, in particular ... vehicular network (as a proxy for cyber-physical systems (CPS) applications) and a streaming media...
  • Montre

  • Referenced in 2 articles [sw30369]
  • tasks for analyzing and reasoning about cyber-physical systems. As the first of its kind...
  • DryVR

  • Referenced in 1 article [sw28120]
  • controller synthesis of black-box cyber-physical systems. We present a demo of DryVR ... verification and controller synthesis of cyber-physical systems composed of black-box simulators and white...
  • NNV

  • Referenced in 1 article [sw32539]
  • Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. This paper presents the Neural Network ... neural networks (DNNs) and learning-enabled cyber-physical systems (CPS). The crux...
  • OpenMETA

  • Referenced in 1 article [sw09392]
  • component-based design tool chain for cyber-physical systems Model- and component-based design have ... design and manufacturing of complex cyber-physical systems (CPS) such as vehicles...
  • GECO

  • Referenced in 1 article [sw25971]
  • studied as a single distributed cyber-physical system. This paper proposes a power system...
  • ML2

  • Referenced in 1 article [sw35533]
  • Internet of Things (IoT) and Cyber-Physical Systems (CPS). ML2 is based on ThingML...
  • MiniCPS

  • Referenced in 1 article [sw26654]
  • spent to modernizing communication infrastructure in Cyber-Physical Systems (CPS) such as Industrial Control Systems...