Add to ORKGInternational audienceIn this paper, we show how to apply recent tools for the automatic synthesis of robust and near-optimal controllers for a real industrial case study. We show how to use three different classes of models and their supporting existing tools, TiGA for synthesis, PHAVer for verification, and {\sc Simulink} for simulation, in a complementary way. We believe that this case study shows that our tools have reached a level of maturity that allows us to tackle interesting and relevant industrial control problems
In the last years, the use of controllers has become very common, thus much work is being done to cr...
We show how detailed simulation models and abstract Markov models can be developed collaboratively t...
International audienceIn this paper, a new technique to compute a synthesis structured Robust Contro...
International audienceIn this paper, we show how to apply recent tools for the automatic synthesis o...
In this paper, we show how to apply recent tools for the automatic synthesis of robust and near-opti...
This article surveys the System Level Synthesis framework, which presents a novel perspective on con...
Optimal controller synthesis is a challenging problem to solve. However, in many applications such a...
We present a methodology for the synthesis of controllers, which exploits (explicit) model checking ...
A major problem of numerical controllers is their robust-ness, i.e. the state read from the plant ma...
This thesis deals with analysis and synthesis methods and their application in the area of engineeri...
Controller synthesis is the automatic construction a correct system from its specification. This o...
We propose an approach to reduce the optimal controller synthesis problem of hybrid systems to quant...
In the industrial framework, the control engineer must design a unique control law that valid on a s...
A major problem of numerical controllers is their robustness, i.e. the state read from the plant may...
Control design for modern safety-critical cyber-physical systems still requires significant expert-k...
In the last years, the use of controllers has become very common, thus much work is being done to cr...
We show how detailed simulation models and abstract Markov models can be developed collaboratively t...
International audienceIn this paper, a new technique to compute a synthesis structured Robust Contro...
International audienceIn this paper, we show how to apply recent tools for the automatic synthesis o...
In this paper, we show how to apply recent tools for the automatic synthesis of robust and near-opti...
This article surveys the System Level Synthesis framework, which presents a novel perspective on con...
Optimal controller synthesis is a challenging problem to solve. However, in many applications such a...
We present a methodology for the synthesis of controllers, which exploits (explicit) model checking ...
A major problem of numerical controllers is their robust-ness, i.e. the state read from the plant ma...
This thesis deals with analysis and synthesis methods and their application in the area of engineeri...
Controller synthesis is the automatic construction a correct system from its specification. This o...
We propose an approach to reduce the optimal controller synthesis problem of hybrid systems to quant...
In the industrial framework, the control engineer must design a unique control law that valid on a s...
A major problem of numerical controllers is their robustness, i.e. the state read from the plant may...
Control design for modern safety-critical cyber-physical systems still requires significant expert-k...
In the last years, the use of controllers has become very common, thus much work is being done to cr...
We show how detailed simulation models and abstract Markov models can be developed collaboratively t...
International audienceIn this paper, a new technique to compute a synthesis structured Robust Contro...