• Kronos

  • Referenced in 273 articles [sw01270]
  • task within strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such ... expressed in the real-time temporal logic TCTL...
  • TuLiP

  • Referenced in 14 articles [sw20173]
  • software toolbox for receding horizon temporal logic planning. This paper describes TuLiP, a Python-based ... software toolbox for the synthesis of embedded control software that is provably correct with respect ... temporal logic (LTL) specifications. TuLiP combines routines for (1) finite state abstraction of control systems...
  • LTLMoP

  • Referenced in 3 articles [sw23171]
  • LTLMoP: Experimenting with language, Temporal Logic and robot control. The Linear Temporal Logic MissiOn Planning ... level robot controllers. In this toolkit, structured English and Linear Temporal Logic are used ... then automatically transformed into correct robot controllers that can be used to drive either...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • oWFN can be used to: check for controllability or generate the operating guideline using ... Petri net property, or check any temporal logic formula with a variety of model checking...
  • PESSOA

  • Referenced in 22 articles [sw20123]
  • Pessoa 2.0, a tool that automatically synthesizes controllers for cyber-physical systems based on correct ... specification in a fragment of Linear Temporal Logic that is expressive enough to describe interesting ... construction. It outputs, if possible, a controller for the system that enforces the specification...
  • conPAS

  • Referenced in 1 article [sw10953]
  • conPAS/conPAS2: Temporal logic control of Piecewise Affine Systems. conPAS is a computational tool for automatic ... control strategies for a piecewise affine (PWA) system from specifications given as Linear Temporal Logic ... system in the form of a control transition system. Second, by leveraging ideas and techniques...
  • S-TaLiRo

  • Referenced in 22 articles [sw09775]
  • TaLiRo: A tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab ... industry for model-based development of control software. We present the architecture of S-TaLiRo...
  • BluSTL

  • Referenced in 1 article [sw34746]
  • automatically generating hybrid controllers from specifications written in Signal Temporal Logic...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • APNNed) to specify Petri nets and to control subsequent analysis. Other modeling formalisms and tools ... model cheking for computational tree logic (CTL) and linear temporal logic (LTL) to consider more...
  • Contego

  • Referenced in 1 article [sw34176]
  • timing and safety constraints of the control logic. We introduce Contego, an approach to integrating ... security tasks into RTS without affecting temporal requirements. Contego is specifically designed for legacy systems ... real-time control systems in which major alterations of the system parameters for constituent tasks...
  • FlipIt

  • Referenced in 1 article [sw38953]
  • logic on a per application basis. This allows tighter control on the spacial, temporal...
  • SENSE

  • Referenced in 1 article [sw30632]
  • target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more ... those expressed as formulae in linear temporal logic or as automata on infinite strings ... finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present...
  • icity

  • Referenced in 4 articles [sw11954]
  • asynchronous urban growth, and a high spatio-temporal resolution to aid in spatial decision making ... with a user-friendly interface to control modelling operations for urban land-use change. This ... model developer to focus on implementing model logic rather than developing an entire stand-alone...
  • NMRDPP

  • Referenced in 6 articles [sw10437]
  • Markovian reward function in temporal logic, to automatically translate the NMRDP into an equivalent ... treatment of domain-specific search control knowledge in the TLPlan planner, which it incorporates...
  • Vooduu

  • Referenced in 1 article [sw06300]
  • timed automata. The tool generates temporal logic queries, which depend on an interpretation status ... applied to a model of the control software of a robot prototype...
  • PLSMC

  • Referenced in 1 article [sw14776]
  • implementation procedure of propositional projection temporal logic (PPTL) symbolic model checker (PLSMC) is developed ... railway and highway crossing guardrail control system are checked with PLSMC. Experimental results show that...
  • BioImageXD

  • Referenced in 2 articles [sw18624]
  • used for simple visualization of multi-channel temporal image stacks to complex 3D rendering ... tens of tools for mathematical and logical processing and noise reduction. Analysis tools cover both ... designed to enable accurate scientific quality and control, and image processing in high throughput...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...