Filtrer vos résultats
- 3
- 1
- 2
- 2
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 3
- 1
- 1
- 1
- 1
4 résultats
|
|
|
triés par
|
|
|
Least-violating symbolic controller synthesis for safety, reachability and attractivity specificationsAutomatica, 2021, 127, ⟨10.1016/j.automatica.2021.109543⟩
Article dans une revue
hal-02533407v2
|
||
|
|
A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected SystemsECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796276⟩
Communication dans un congrès
hal-02148745v1
|
||
|
|
Safety control, a quantitative approach6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.032⟩
Communication dans un congrès
hal-01818644v1
|
||
|
|
A Self-triggered Position Based Visual Servoing Model Predictive Control Scheme for Underwater Robotic VehiclesMachines, 2020, 8 (2), pp.33. ⟨10.3390/MACHINES8020033⟩
Article dans une revue
hal-04449120v1
|