Results 1 to 20 of 129
Sort by:

  • PESSOA
  • Referenced in 19 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 17 articles [sw08423]
  • probabilistic systems such as, for example, cyber-physical systems which are often probabilistic in nature...

  • CORA
  • Referenced in 8 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...

  • 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...

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

  • 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...

  • 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...

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

  • 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...

  • Acumen
  • Referenced in 1 article [sw36603]
  • Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. Developing Cyber-Physical Systems requires ... tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal...

  • 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...

  • HybridSystemsLab
  • Referenced in 1 article [sw37695]
  • students and researchers working on hybrid systems, cyber-physical systems, control, and automation...

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