Filtrer vos résultats
- 67
- 39
- 2
- 65
- 34
- 3
- 2
- 2
- 1
- 1
- 2
- 91
- 22
- 16
- 5
- 1
- 1
- 1
- 4
- 4
- 4
- 5
- 2
- 2
- 14
- 9
- 12
- 12
- 6
- 9
- 7
- 9
- 9
- 102
- 6
- 108
- 29
- 18
- 10
- 6
- 6
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 87
- 20
- 15
- 12
- 11
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
108 résultats
Consensus, flocking and opinion dynamicsInternational Summer School of Automatic Control, Sep 2010, Grenoble, France
Communication dans un congrès
hal-00770292v1
|
|||
Low-complexity switching controllers for safety using symbolic models4th IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.82-87, ⟨10.3182/20120606-3-NL-3011.00014⟩
Communication dans un congrès
hal-00769673v1
|
|||
Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systemsCDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.824-829, ⟨10.1109/CDC.2014.7039483⟩
Communication dans un congrès
hal-01133212v1
|
|||
Synthesis using approximately bisimilar abstractions: time-optimal control problemsCDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.5893-5898, ⟨10.1109/CDC.2010.5717756⟩
Communication dans un congrès
hal-00769592v1
|
|||
Approximately bisimilar finite abstractions of stable linear systemsHSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. pp.231-244, ⟨10.1007/978-3-540-71493-4_20⟩
Communication dans un congrès
istex
hal-00306999v1
|
|||
|
|
Low-complexity quantized switching controllers using approximate bisimulationNonlinear Analysis: Hybrid Systems, 2013, 10, pp.34-44. ⟨10.1016/j.nahs.2013.02.001⟩
Article dans une revue
hal-00839610v1
|
||
Méthodes algorithmiques pour l'analyse des systèmes hybridesJournées Nationales du GDR MACS, Jul 2007, Reims, France
Communication dans un congrès
hal-00307096v1
|
|||
Systèmes à commutation, stabilité, représentation symbolique et commandeGroupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France
Communication dans un congrès
hal-00770284v1
|
|||
|
|
Dynamic triggering mechanisms for event-triggered controlIEEE Transactions on Automatic Control, 2015, 60 (7), pp.1992-1997. ⟨10.1109/TAC.2014.2366855⟩
Article dans une revue
hal-01170560v1
|
||
Modèles symboliques de systèmes dynamiques pour la conception de systèmes embarqués sûrsColloque en hommage à Louis Bolliet : l'Informatique à Venir, May 2008, Grenoble, France
Communication dans un congrès
hal-00307089v1
|
|||
|
|
Computational Approaches to Analysis and Control of Hybrid SystemsOptimization and Control [math.OC]. Université de Grenoble, 2013
HDR
tel-00908913v1
|
||
|
|
Controller synthesis for safety and reachability via approximate bisimulationAutomatica, 2012, 48 (5), pp.947-953. ⟨10.1016/j.automatica.2012.02.037⟩
Article dans une revue
hal-00765682v1
|
||
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specificationsHSCC '10 - 13th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2010, Stockholm, Sweden. pp.111-120, ⟨10.1145/1755952.1755969⟩
Communication dans un congrès
hal-00769582v1
|
|||
Vérification des systèmes hybridesÉcole des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France
Communication dans un congrès
hal-00770289v1
|
|||
Symbolic models of control systemsHeterogeneity in control systems, May 2009, Nancy, France
Communication dans un congrès
hal-00770290v1
|
|||
Presentation of the VAL-AMS projectGrand Colloque STIC, Nov 2007, Paris, France
Communication dans un congrès
hal-00307092v1
|
|||
Bounded and unbounded safety verification using bisimulation metricsHSCC 2009 - 12th International Conference Hybrid Systems: Computation and Control, Apr 2009, San Francisco, CA, United States. pp.426-440, ⟨10.1007/978-3-642-00602-9_30⟩
Communication dans un congrès
istex
hal-00379746v1
|
|||
Motion planning for nonlinear systems using hybridizations and robust controllers on simplicesCDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. pp.239-244, ⟨10.1109/CDC.2008.4738758⟩
Communication dans un congrès
hal-00379740v1
|
|||
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015
Proceedings/Recueil des communications
hal-01170573v1
|
|||
|
|
Triggering mechanism using freely selected sensors for linear time-invariant systems54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. pp.4812-4817, ⟨10.1109/CDC.2015.7402970⟩
Communication dans un congrès
hal-01204815v1
|
||
|
|
Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction WeightsSIAM Journal on Control and Optimization, 2013, 51 (3), pp.2568-2584. ⟨10.1137/11083438X⟩
Article dans une revue
hal-00839608v1
|
||
Bisimilar symbolic models for stochastic switched systems: A discretization-free approachACC 2015 - American Control Conference, Jul 2015, Chicago, United States. pp.1923-1928, ⟨10.1109/ACC.2015.7171014⟩
Communication dans un congrès
hal-01203715v1
|
|||
An approximate abstraction approach to safety control of differentially flat systemsECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.4226-4231, ⟨10.23919/ECC.2013.6669178⟩
Communication dans un congrès
hal-00839619v1
|
|||
|
|
Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on SimplicesIEEE Transactions on Automatic Control, 2012, 57 (4), pp.1046-1051. ⟨10.1109/TAC.2011.2168874⟩
Article dans une revue
hal-00765680v1
|
||
Verification of Safety and Liveness Properties of Metric Transition SystemsACM Transactions on Embedded Computing Systems (TECS), 2012, 11 (S2), pp.article 54. ⟨10.1145/2331147.2331164⟩
Article dans une revue
hal-00765686v1
|
|||
Sufficient conditions for flocking via graph robustness analysisCDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.6293-6298, ⟨10.1109/CDC.2010.5717084⟩
Communication dans un congrès
hal-00769600v1
|
|||
|
|
Reachability Analysis of Hybrid Systems Using Support FunctionsCAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. pp.540-554, ⟨10.1007/978-3-642-02658-4_40⟩
Communication dans un congrès
hal-00769527v1
|
||
Approximate Bisimulation: A Bridge Between Computer Science and Control TheoryEuropean Journal of Control, 2011, 17 (5-6), pp.568-578. ⟨10.3166/ejc.17.568-578⟩
Article dans une revue
hal-00765660v1
|
|||
Reachability analysis of linear systems using support functionsNonlinear Analysis: Hybrid Systems, 2010, 4 (2), pp.250-262. ⟨10.1016/j.nahs.2009.03.002⟩
Article dans une revue
istex
hal-00765598v1
|
|||
Efficient reachability analysis for linear systems using support functionsIFAC World Congress, Jul 2008, Séoul, South Korea. pp.8966-8971, ⟨10.3182/20080706-5-KR-1001.0569⟩
Communication dans un congrès
hal-00307009v1
|