Controller synthesis for safety and reachability via approximate bisimulation, Automatica, vol.48, issue.5, pp.947-953, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00765682
Set-theoretic methods in control, 2008. ,
Computing robust controlled invariant sets of linear systems, IEEE Transactions on Automatic Control, vol.62, issue.7, pp.3665-3670, 2017. ,
Controllers for reachability specifications for hybrid systems, Automatica, vol.35, issue.3, pp.349-370, 1999. ,
Safety control, a quantitative approach, IFAC Conference on Analysis and Design of Hybrid Systems, pp.187-192, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01818644
Robustness of temporal logic specifications for continuous-time signals, Theoretical Computer Science, vol.410, issue.42, pp.4262-4291, 2009. ,
Robust satisfaction of temporal logic over real-valued signals, International Conference on Formal Modeling and Analysis of Timed Systems, pp.92-106, 2010. ,
Reactive synthesis from signal temporal logic specifications, International Conference on Hybrid Systems: Computation and Control, pp.239-248, 2015. ,
Robust temporal logic model predictive control, Annual Allerton Conference on Communication, Control, and Computing, pp.772-779, 2015. ,
Practical set invariance for decentralized discrete-time systems, IEEE Conference on Decision and Control, pp.3283-3288, 2010. ,
Distributed synthesis and control of constrained linear systems, American Control Conference, pp.6017-6022, 2012. ,
Synthesis of seperable controlled invariant sets for modular local control design, American Control Conference, pp.5656-5663, 2016. ,
A dissipativity approach to safety verification for interconnected systems, IEEE Transactions on Automatic Control, vol.60, issue.6, pp.1722-1727, 2015. ,
Safety control with performance guarantees of cooperative systems using compositional abstractions, Proceedings of the 5 th IFAC Conference on Analysis and Design of Hyrbid Systems, pp.317-322, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01180975
Distributed synthesis of state-dependent switching control, International Workshop on Reachability Problems, pp.119-133, 2016. ,
On the composition of discrete and continuous-time assume-guarantee contracts for invariance, European Control Conference, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01712710
, Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, IEEE Conference on Decision and Control (CDC), 2018.
A small gain theorem for parametric assume-guarantee contracts, International Conference on Hybrid Systems: Computation and Control, pp.207-216, 2017. ,
On compositional symbolic controller synthesis inspired by small-gain theorems, 54th IEEE Conference on Decision and Control (CDC), pp.6133-6138, 2015. ,
Verification and Control of Hybrid Systems: A Symbolic Approach, 2009. ,