13 résultats  enregistrer la recherche


...
hal-01492955v1  Communication dans un congrès
Pierre-Jean MeyerAntoine GirardEmmanuel WitrantPoster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings
18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Apr 2015, Seattle, United States. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.1817 - 1819, 2015, <10.1145/2728606.2728637>
...
hal-01204815v1  Communication dans un congrès
Romain PostoyanAntoine GirardTriggering mechanism using freely selected sensors for linear time-invariant systems
54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. IEEE, pp.4812-4817, 2015, <10.1109/CDC.2015.7402970>
hal-01170573v1  Direction d'ouvrage, Proceedings
Antoine GirardSriram SankaranarayananProceedings of the 18th International Conference on Hybrid Systems: Computation and Control
18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015
...
hal-01180975v1  Communication dans un congrès
Pierre-Jean MeyerAntoine GirardEmmanuel WitrantSafety control with performance guarantees of cooperative systems using compositional abstractions
5th IFAC Conference on Analysis and Design of Hybrid Systems, Oct 2015, Atlanta, United States. Elsevier, 48 (27), pp.317-322, 2015, IFAC-PapersOnLine. <10.1016/j.ifacol.2015.11.194>
hal-01203715v1  Communication dans un congrès
Majid ZamaniAntoine GirardBisimilar symbolic models for stochastic switched systems: A discretization-free approach
ACC 2015 - American Control Conference, Jul 2015, Chicago, United States. IEEE, pp.1923-1928, <10.1109/ACC.2015.7171014>
...
hal-01276237v1  Communication dans un congrès
Mohammad Al KhatibAntoine GirardThao DangStability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis
Analysis and Design of Hybrid Systems, Oct 2015, Atlanta, United States. 48 (27), pp.358-363, 2015, IFAC-PapersOnLine. <10.1016/j.ifacol.2015.11.200>
...
hal-01165967v1  Article dans une revue
Pierre-Olivier LamareAntoine GirardChristophe PrieurSwitching rules for stabilization of linear systems of conservation laws
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2015, 53 (3), pp.1599-1624. <10.1137/140953952>
hal-01170560v1  Article dans une revue
Antoine GirardDynamic triggering mechanisms for event-triggered control
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2015, 60 (7), pp.1992-1997. <10.1109/TAC.2014.2366855>