Add to ORKGIn this report we introduce CoSyMA, a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions. The tool accepts a description of a switched system represented by a set of differential equations and the sampling parameters used to define an approximation of the state-space on which discrete abstractions are computed. The tool generates a controller - if it exists - for the system that enforces a given safety or time-bounded reachability specification. We illustrate by examples the synthesized controllers and the significant performance gains during their computation
This thesis focus on the development of compositional and efficient controller synthesis approaches ...
There is a need for controller design methodologies that enable early detection and elimination of u...
As cyber-physical systems (CPS) become more complex, the verification of CPS control software become...
International audienceWe introduce CoSyMA, a tool for automatic controller synthesis for incremental...
International audienceWe propose a technique for the synthesis of safety controllers for switched sy...
International audienceWe propose an approach to the synthesis of safety controllers for a class of s...
International audienceWhen available, discrete abstractions provide an appealing approach to control...
International audienceControl of continuous and hybrid systems using discrete abstractions often suf...
International audienceIn this paper, we consider the problem of computation of efficient symbolic ab...
Control synthesis is the problem of automatically constructing a control strategy that induces a sys...
This thesis focuses on the development of efficient abstraction-based controller synthesis approache...
This thesis focus on the development of compositional and efficient controller synthesis approaches ...
There is a need for controller design methodologies that enable early detection and elimination of u...
As cyber-physical systems (CPS) become more complex, the verification of CPS control software become...
International audienceWe introduce CoSyMA, a tool for automatic controller synthesis for incremental...
International audienceWe propose a technique for the synthesis of safety controllers for switched sy...
International audienceWe propose an approach to the synthesis of safety controllers for a class of s...
International audienceWhen available, discrete abstractions provide an appealing approach to control...
International audienceControl of continuous and hybrid systems using discrete abstractions often suf...
International audienceIn this paper, we consider the problem of computation of efficient symbolic ab...
Control synthesis is the problem of automatically constructing a control strategy that induces a sys...
This thesis focuses on the development of efficient abstraction-based controller synthesis approache...
This thesis focus on the development of compositional and efficient controller synthesis approaches ...
There is a need for controller design methodologies that enable early detection and elimination of u...
As cyber-physical systems (CPS) become more complex, the verification of CPS control software become...