• Mu Analysis and Synthesis Toolbox

  • Referenced in 109 articles [sw19506]
  • developed primarily for the analysis and synthesis of control systems, with an emphasis on quantifying ... theory, namely H∞ optimal control and m analysis and synthesis techniques. This package allows...
  • Robust Control Toolbox

  • Referenced in 147 articles [sw07907]
  • impact of plant model uncertainty on control system performance and identify worst-case combinations ... infinity and mu-synthesis techniques let you design controllers that maximize robust stability and performance...
  • PESSOA

  • Referenced in 19 articles [sw20123]
  • Pessoa 2.0: a controller synthesis tool for cyber-physical systems. We introduce Pessoa ... tool that automatically synthesizes controllers for cyber-physical systems based on correct-by-design methodology...
  • SCOTS

  • Referenced in 14 articles [sw20172]
  • SCOTS: a tool for the synthesis of symbolic controllers. We introduce SCOTS ... software tool for the automatic controller synthesis for nonlinear control systems based on symbolic models...
  • RACT

  • Referenced in 20 articles [sw06924]
  • Matlab toolbox for probabilistic analysis and synthesis of control systems affected by various uncertainty structures...
  • CoSyma

  • Referenced in 9 articles [sw20124]
  • CoSyma: a tool for controller synthesis using multi-scale abstractions. We introduce CoSyMA, a tool ... automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions ... abstractions are computed. The tool generates a controller – if it exists – for the system that...
  • TCT

  • Referenced in 10 articles [sw13640]
  • Computation Tool for Supervisory Control Synthesis. The TCT software package is designed for the synthesis...
  • Giotto

  • Referenced in 16 articles [sw08971]
  • automation in the validation and synthesis of control software. The time-triggered nature of Giotto...
  • libFAUDES

  • Referenced in 10 articles [sw16433]
  • extensions for hierarchical, modular and decentralized controller synthesis; see [references]. With libFAUDES ... implementation of methods for the control of discrete event systems, and (b) effective advertisement...
  • TOMP

  • Referenced in 24 articles [sw00971]
  • modules for optimal control calculations. A great number of analysis and synthesis problems of modern...
  • TuLiP

  • Referenced in 9 articles [sw20173]
  • based software toolbox for the synthesis of embedded control software that is provably correct with ... finite state abstraction of control systems, (2) digital design synthesis from LTL specifications ... digital design synthesis routine treats the environment as adversary; hence, the resulting controller is guaranteed ... applies the receding horizon framework, allowing the synthesis problem to be broken into...
  • Petrify

  • Referenced in 26 articles [sw09784]
  • tool for synthesis of Petri nets and asynchronous controllers. Petrify reads a Petri...
  • ROCS

  • Referenced in 3 articles [sw28114]
  • ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems. This paper presents ROCS ... algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools...
  • STCT

  • Referenced in 9 articles [sw02293]
  • paper introduces a new synthesis approach for the supervisory control of discrete-event systems...
  • CASCADE

  • Referenced in 8 articles [sw01385]
  • tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized ... chosen style, and interfaces with existing synthesis tools (petrify for SI circuits...
  • SReachTools

  • Referenced in 3 articles [sw30627]
  • loop systems and can also perform controller synthesis via open-loop, affine, and state-feedback...
  • GMO

  • Referenced in 3 articles [sw32991]
  • MATLAB package for multiobjective control synthesis. In this paper, a MATLAB package ... introduced for synthesizing (sub-) optimal controllers for the general multiobjective (GMO) control problem involving /sub...
  • pFaces

  • Referenced in 3 articles [sw30630]
  • algorithms are designed for abstraction-based controller synthesis. Then, they are implemented inside pFaces...
  • NLControl

  • Referenced in 7 articles [sw15154]
  • Linear Control systems and developed in the Control System Department of the Institute of Cybernetics ... different modeling, analysis, and synthesis problems for nonlinear control systems. The majority of provided tools...
  • DryVR

  • Referenced in 1 article [sw28120]
  • tool for verification and controller synthesis of black-box cyber-physical systems. We present ... framework for verification and controller synthesis of cyber-physical systems composed of black-box simulators ... Unsafe” with a counter-example. For controller synthesis, DryVR 2.0 takes as input black...