Guaranteed state estimation by zonotopes, Automatica, vol.41, issue.6, pp.1035-1043, 2005. ,
DOI : 10.1016/j.automatica.2004.12.008
URL : https://hal.archives-ouvertes.fr/hal-00708563
Effective synthesis of switching controllers for linear systems, Proceedings of the IEEE, vol.88, issue.7, pp.1011-1025, 2000. ,
DOI : 10.1109/5.871306
URL : https://hal.archives-ouvertes.fr/inria-00099342
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems, Hybrid Systems: Computation and Control, pp.20-31, 2000. ,
DOI : 10.1007/3-540-46430-1_6
URL : https://hal.archives-ouvertes.fr/inria-00099316
The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995. ,
DOI : 10.1016/0304-3975(94)00202-T
Reachability Analysis of Nonlinear Systems Using Conservative Approximation, Hybrid Systems: Computation and Control, pp.20-35, 2003. ,
DOI : 10.1007/3-540-36580-X_5
Hybridization methods for the analysis of nonlinear systems, Acta Informatica, vol.12, issue.2, pp.451-476, 2007. ,
DOI : 10.1007/s00236-006-0035-7
URL : https://hal.archives-ouvertes.fr/hal-00157475
Predicate abstraction for reachability analysis of hybrid systems, ACM Transactions on Embedded Computing Systems, vol.5, issue.1, pp.152-199, 2006. ,
DOI : 10.1145/1132357.1132363
Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000. ,
DOI : 10.1109/5.871304
Formal verification of hybrid systems, International Conference on Embedded Software, pp.273-278, 2011. ,
Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, vol.138, issue.1, pp.35-65, 1995. ,
DOI : 10.1016/0304-3975(94)00228-B
A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.410-421, 2002. ,
Forward completeness, unboundedness observability, and their Lyapunov characterizations, Systems & Control Letters, vol.38, issue.4-5, pp.209-217, 1999. ,
DOI : 10.1016/S0167-6911(99)00055-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.6585
Monotone control systems, IEEE Transactions on Automatic Control, vol.48, issue.10, pp.1684-1698, 2003. ,
DOI : 10.1109/TAC.2003.817920
Reachability analysis of linear systems with uncertain parameters and inputs, 2007 46th IEEE Conference on Decision and Control, pp.726-732, 2007. ,
DOI : 10.1109/CDC.2007.4434084
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization, 2008 47th IEEE Conference on Decision and Control, pp.4042-4048, 2008. ,
DOI : 10.1109/CDC.2008.4738704
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Analysis: Hybrid Systems, pp.233-249, 2010. ,
A survey of model reduction methods for large-scale systems, Contemporary Mathematics, vol.280, pp.193-219, 2000. ,
DOI : 10.1090/conm/280/04630
To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems, IEEE Transactions on Automatic Control, vol.55, issue.9, pp.2030-2042, 2010. ,
DOI : 10.1109/TAC.2010.2042980
Viability Kernels and Capture Basins of Sets Under Differential Inclusions, SIAM Journal on Control and Optimization, vol.40, issue.3, pp.853-881, 2001. ,
DOI : 10.1137/S036301290036968X
On modularity clustering, IEEE Transactions on Knowledge and Data Engineering, vol.20, issue.2, pp.172-188, 2008. ,
Dynamic Programming and Optimal Control, Athena Scientific, 2000. ,
Algebraic decision diagrams and their applications, International Conference on Computer-Aided Design, pp.188-191, 1993. ,
Computation of polytopic invariants for polynomial dynamical systems using linear programming, Automatica, vol.48, issue.12, pp.3114-3121, 2012. ,
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming, Systems and Control Letters, vol.61, issue.4, pp.506-512, 2012. ,
Fast unfolding of communites in large networks, Journal of Statistical Mechanics: Theory and Experiment, issue.08, pp.1742-546810008, 2008. ,
Convergence in Multiagent Coordination, Consensus, and Flocking, Proceedings of the 44th IEEE Conference on Decision and Control, pp.2996-3000, 2005. ,
DOI : 10.1109/CDC.2005.1582620
On the 2R conjecture for multi-agent systems, IEEE Transactions on Automatic Control, vol.54, issue.11, pp.2506-2517, 2009. ,
A symbolic approach to the design of nonlinear networked control systems, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.255-264, 2012. ,
DOI : 10.1145/2185632.2185670
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations, Hybrid Systems: Computation and Control, pp.73-88, 2000. ,
DOI : 10.1007/3-540-46430-1_10
Reachability analysis of polynomial systems using linear programming relaxations, Automated Technology for Verification and Analysis, pp.137-151, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00769672
Toward an Approximation Theory for Computerised Control, International Conference on Embedded Software, pp.294-304, 2002. ,
DOI : 10.1007/3-540-45828-X_22
An approximate abstraction approach to safety control of differentially flat systems Safety controller synthesis for switched systems using multi-scale symbolic models, European Control Conference Joint IEEE Conference on Decision and Control and European Control Conference, pp.520-525, 2011. ,
Synthesis of switching controllers using approximately bisimilar multiscale abstractions, Hybrid Systems: Computation and Control, pp.191-200, 2011. ,
Model Checking, 2000. ,
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, Hybrid Systems: Computation and Control, pp.76-90, 1999. ,
DOI : 10.1007/3-540-48983-5_10
Hierarchical control implementation, Mediterranean Control Conference, pp.1-6, 2007. ,
Hierarchical tracking implementation, IEEE Conference on Decision and Control, pp.3733-3738, 2007. ,
A state bounding observer based on zonotopes, European Control Conference, 2003. ,
A necessary and sufficient condition for consensus of continuous-time agents over undirected time-varying networks, IEEE Transactions on Automatic Control, issue.8, pp.561915-1920, 2011. ,
A new criterion to linear consensus protocols over time-varying directed networks, IEEE International Conference on Control and Automation, pp.467-470, 2011. ,
Linear and Branching Metrics for Quantitative Transition Systems, International Colloquium on Automata , Languages and Programming, pp.1150-1162, 2004. ,
DOI : 10.1007/978-3-540-27836-8_11
Approximate reachability computation for polynomial systems, Hybrid Systems: Computation and Control, pp.138-152, 2006. ,
Synchronization in complex oscillator networks and smart grids, Proceedings of the National Academy of Sciences, vol.110, issue.6, pp.2005-2010, 2013. ,
DOI : 10.1073/pnas.1212134110
Metrics for labelled Markov processes, Theoretical Computer Science, vol.318, issue.3, pp.323-354, 2004. ,
DOI : 10.1016/j.tcs.2003.09.013
URL : http://doi.org/10.1016/j.tcs.2003.09.013
Cyber-physical system design contracts, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS '13, 2013. ,
DOI : 10.1145/2502524.2502540
Accurate hybridization of nonlinear systems, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.11-20, 2010. ,
DOI : 10.1145/1755952.1755956
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion, Computer Aided Verification, pp.277-287, 2009. ,
DOI : 10.1007/978-3-642-02658-4_19
Special section on " symbolic methods for complex control systems, IEEE Transactions on Automatic Control, vol.51, issue.6, pp.921-1013, 2006. ,
Temporal logic motion planning for dynamic robots, Automatica, vol.45, issue.2, pp.343-352, 2009. ,
DOI : 10.1016/j.automatica.2008.08.008
Temporal logic verification using simulation. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.4202, pp.171-186, 2006. ,
DOI : 10.1007/11867340_13
URL : https://hal.archives-ouvertes.fr/hal-00171560
SpaceEx: scalable verification of hybrid systems, Computer Aided Verification, pp.379-395, 2011. ,
PHAVer: Algorithmic verification of hybrid systems past HyTech. Software Tools for Technology Transfer, pp.263-279, 2008. ,
Hierarchical control via simulation relations and feedback linearization, American Control Conference, 2013. ,
The Zonotope Abstract Domain Taylor1+, Computer Aided Verification, pp.627-633, 2009. ,
DOI : 10.1007/978-3-642-02658-4_47
Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control, pp.291-305, 2005. ,
Approximately bisimilar finite abstractions of stable linear systems, Hybrid Systems: Computation and Control, pp.231-244, 2007. ,
Synthesis using approximately bisimilar abstractions: statefeedback controllers for safety specifications, Hybrid Systems: Computation and Control, pp.111-120, 2010. ,
Controller synthesis for safety and reachability via approximate bisimulation, Automatica, vol.48, issue.5, pp.947-953, 2012. ,
Low-complexity quantized switching controllers using approximate bisimulation. Nonlinear Analysis: Hybrid Systems, 2013. ,
APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS, IFAC Proceedings Volumes, vol.39, issue.5, pp.163-179, 2008. ,
DOI : 10.3182/20060607-3-IT-3902.00022
URL : https://hal.archives-ouvertes.fr/hal-00307035
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis, Hybrid Systems: Computation and Control, pp.215-228, 2008. ,
DOI : 10.1007/978-3-540-78929-1_16
URL : https://hal.archives-ouvertes.fr/hal-00306993
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, Hybrid Systems: Computation and Control, pp.257-271, 2006. ,
DOI : 10.1007/11730637_21
URL : https://hal.archives-ouvertes.fr/hal-00171555
Reachability Analysis Using Polygonal Projections, Hybrid Systems: Computation and Control, pp.103-116, 1999. ,
DOI : 10.1007/3-540-48983-5_12
Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices, IEEE Transactions on Automatic Control, vol.57, issue.4, pp.1046-1051, 2012. ,
DOI : 10.1109/TAC.2011.2168874
URL : https://hal.archives-ouvertes.fr/hal-00765680
Approximate Bisimulations for Nonlinear Dynamical Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.684-689, 2005. ,
DOI : 10.1109/CDC.2005.1582235
URL : https://hal.archives-ouvertes.fr/hal-00171559
Verification Using Simulation, Hybrid Systems: Computation and Control, pp.272-286 ,
DOI : 10.1007/11730637_22
URL : https://hal.archives-ouvertes.fr/hal-00171538
Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, issue.8, pp.1307-1317, 2007. ,
Approximation metrics for discrete and continuous systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007. ,
Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009. ,
DOI : 10.1016/j.automatica.2008.09.016
URL : https://hal.archives-ouvertes.fr/hal-00379793
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010. ,
DOI : 10.1109/TAC.2009.2034922
URL : https://hal.archives-ouvertes.fr/hal-00765597
Verification of Safety and Liveness Properties of Metric Transition Systems, ACM Transactions on Embedded Computing Systems, vol.11, issue.S2, p.54, 2012. ,
DOI : 10.1145/2331147.2331164
URL : https://hal.archives-ouvertes.fr/hal-00765686
The theory of hybrid automata, IEEE Symposium on Logic in Computer Science, pp.278-292, 1996. ,
HYTECH: a??model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.110-122, 1997. ,
DOI : 10.1007/s100090050008
Algorithmic analysis of nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.540-554, 1998. ,
DOI : 10.1109/9.664156
An introduction to event-triggered and self-triggered control, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp.3270-3285, 2012. ,
DOI : 10.1109/CDC.2012.6425820
Opinion dynamics and bounded confidence models, analysis, and simulation, Journal of Artificial Societies and Social Simulation, vol.5, issue.3, 2002. ,
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes, Hybrid Systems: Computation and Control, pp.287-301, 2006. ,
DOI : 10.1007/11730637_23
Quantifying similarities between timed systems. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.3829, pp.226-241, 2005. ,
Convergence of Type-Symmetric and Cut-Balanced Consensus Seeking Systems, IEEE Transactions on Automatic Control, vol.58, issue.1, pp.214-218, 2012. ,
DOI : 10.1109/TAC.2012.2203214
Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, issue.2-3, pp.229-261, 2005. ,
DOI : 10.1016/j.tcs.2005.03.045
Control of piecewise-linear hybrid systems on simplices and rectangles, Hybrid Systems: Computation and Control, pp.261-274, 2001. ,
Using computer games for hybrid systems controller synthesis, 49th IEEE Conference on Decision and Control (CDC), pp.5887-5892, 2010. ,
DOI : 10.1109/CDC.2010.5718138
Approximate equivalence and approximate synchronization of metric transition systems, Proceedings of the 45th IEEE Conference on Decision and Control, pp.94-101, 2009. ,
DOI : 10.1109/CDC.2006.377763
Robust test generation and coverage for hybrid systems, Hybrid Systems: Computation and Control, pp.329-342, 2007. ,
Coordination of groups of mobile autonomous agents using nearest neighbor rules, IEEE Transactions on Automatic Control, vol.48, issue.6, pp.988-1001, 2003. ,
DOI : 10.1109/TAC.2003.812781
Approximations of Stochastic Hybrid Systems, IEEE Transactions on Automatic Control, vol.54, issue.6, pp.1193-1203, 2009. ,
DOI : 10.1109/TAC.2009.2019791
A Fully Automated Framework for Control of Linear Systems from LTL Specifications, Hybrid Systems: Computation and Control, pp.333-347, 2006. ,
DOI : 10.1007/11730637_26
Zonotope dynamics in numerical quality control, Mathematical Visualization, pp.125-134, 1998. ,
Ellipsoidal Techniques for Reachability Analysis, Hybrid Systems: Computation and Control, pp.202-214, 2000. ,
DOI : 10.1007/3-540-46430-1_19
Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems, IEEE Transactions on Automatic Control, vol.52, issue.1, pp.26-38, 2007. ,
DOI : 10.1109/TAC.2006.887900
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results, IEEE Transactions on Automatic Control, vol.54, issue.2, pp.308-322, 2009. ,
DOI : 10.1109/TAC.2008.2012009
Global optimization with polynomials and the problem of moments, SIAM Journal on Optimization, vol.11, issue.3, pp.796-817, 2001. ,
Reachability Analysis of Hybrid Systems Using Support Functions, Computer Aided Verification, pp.540-554, 2009. ,
DOI : 10.1007/978-3-642-02658-4_40
URL : https://hal.archives-ouvertes.fr/hal-00769527
Reachability analysis of linear systems using support functions, Lib03] D. Liberzon. Switching in systems and control, pp.250-262, 2003. ,
DOI : 10.1016/j.nahs.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00765598
Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.2-17, 2003. ,
Verification of Supervisory Control Software Using State Proximity and Merging, Hybrid Systems: Computation and Control, pp.344-357 ,
DOI : 10.1007/978-3-540-78929-1_25
On Contraction Analysis for Non-linear Systems, Automatica, vol.34, issue.6, pp.683-696, 1998. ,
DOI : 10.1016/S0005-1098(98)00019-3
Control from computer science, Annual Reviews in Control, vol.26, issue.2, pp.175-187, 2002. ,
On under-determined dynamical systems, International Conference on Embedded Software, pp.89-96, 2011. ,
Controllability decompositions of networked systems through quotient graphs, 2008 47th IEEE Conference on Decision and Control, pp.5244-5249, 2008. ,
DOI : 10.1109/CDC.2008.4739213
Multi-agent flocking with random communication radius, 2012 American Control Conference (ACC), pp.3871-3876, 2012. ,
DOI : 10.1109/ACC.2012.6315594
URL : https://hal.archives-ouvertes.fr/hal-00769675
Sufficent conditions for flocking via graph robustness analysis, IEEE Conference on Decision and Control, pp.6293-6298, 2010. ,
Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs, IEEE Transactions on Automatic Control, vol.56, issue.8, pp.1862-1873, 2011. ,
DOI : 10.1109/TAC.2010.2095315
URL : https://hal.archives-ouvertes.fr/hal-00622835
Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights, SIAM Journal on Control and Optimization, vol.51, issue.3, pp.2568-2584, 2013. ,
DOI : 10.1137/11083438X
URL : https://hal.archives-ouvertes.fr/hal-00839608
CoSyMA, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.83-88, 2013. ,
DOI : 10.1145/2461328.2461343
URL : https://hal.archives-ouvertes.fr/hal-00839613
Approximate bisimulations for sodium-channel dynamics, Computational Methods in Systems Biology, 2012. ,
Communication and Concurrency, 1989. ,
Lagrangian methods for approximating the viability kernel in highdimensional systems, Automatica, issue.7, pp.492017-2029, 2013. ,
Stability of multiagent systems with time-dependent communication links, IEEE Transactions on Automatic Control, vol.50, issue.2, pp.169-182, 2005. ,
Supervisory control of hybrid systems within a behavioural framework, Systems & Control Letters, vol.38, issue.3, pp.157-166, 1999. ,
DOI : 10.1016/S0167-6911(99)00061-4
Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems, Modelling, Analysis, and Design of Hybrid Systems, pp.247-265, 2002. ,
DOI : 10.1007/3-540-45426-8_14
Level Set Methods for Computation in Hybrid Systems, Hybrid Systems: Computation and Control, pp.310-323, 2000. ,
DOI : 10.1007/3-540-46430-1_27
Approximate time-optimal control via approximate alternating simulations, American Control Conference, pp.10201-10206, 2010. ,
Modularity and community structure in networks, Proceedings of the National Academy of Sciences, pp.8577-8582, 2006. ,
Finding and evaluating community structure in networks, Physical Review E, vol.69, issue.2, pp.26113-26114, 2004. ,
DOI : 10.1103/PhysRevE.69.026113
Consensus Problems in Networks of Agents With Switching Topology and Time-Delays, IEEE Transactions on Automatic Control, vol.49, issue.9, pp.1520-2533, 2004. ,
DOI : 10.1109/TAC.2004.834113
Bisimilar linear systems Semidefinite programming relaxations for semialgebraic problems, Automatica Mathematical Programming Ser. B, vol.39, issue.962, pp.2035-2047293, 2003. ,
Approximately bisimilar symbolic models for nonlinear control systems, IFAC conference on Analysis and Design of Hybrid Systems, pp.2508-2516, 2008. ,
DOI : 10.1016/j.automatica.2008.02.021
URL : https://hal.archives-ouvertes.fr/hal-00379755
Quantitative Relations and Approximate Process Equivalences, Conference on Concurrency Theory, pp.508-522, 2003. ,
DOI : 10.1007/978-3-540-45187-7_33
Symbolic models for nonlinear time-delay systems using approximate bisimulations, Systems & Control Letters, vol.59, issue.6, pp.365-373, 2010. ,
DOI : 10.1016/j.sysconle.2010.04.001
Symbolic models for linear control systems with disturbances, 2007 46th IEEE Conference on Decision and Control, pp.432-437, 2007. ,
DOI : 10.1109/CDC.2007.4434957
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations, SIAM Journal on Control and Optimization, vol.48, issue.2, pp.719-733, 2009. ,
DOI : 10.1137/070698580
Bisimulation theory for switching linear systems, IEEE Conference on Decision and Control, pp.1406-1411, 2004. ,
Verifying Tolerant Systems Using Polynomial Approximations, 2009 30th IEEE Real-Time Systems Symposium, pp.181-190, 2009. ,
DOI : 10.1109/RTSS.2009.28
Crossing the bridge between similar games. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.6919, pp.160-176, 2011. ,
Crossing the bridge between similar games. In Formal Modeling and Analysis of Timed Systems, LNCS, vol.6919, pp.160-176, 2011. ,
Consensus seeking in multiagent systems under dynamically changing interaction topologies, IEEE Transactions on Automatic Control, vol.50, issue.5, pp.655-661, 2005. ,
DOI : 10.1109/TAC.2005.846556
Information consensus in multivehicle cooperative control, IEEE Control Systems Magazine, vol.27, issue.2, pp.71-82, 2007. ,
DOI : 10.1109/MCS.2007.338264
Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems, Hybrid Systems: Computation and Control, pp.306-320, 2009. ,
Computing reachable sets for uncertain nonlinear monotone systems, Nonlinear Analysis: Hybrid Systems, vol.4, issue.2, pp.263-278, 2010. ,
DOI : 10.1016/j.nahs.2009.10.002
URL : https://hal.archives-ouvertes.fr/hal-00629909
Discrete approximation and supervisory control of continuous systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.569-573, 1998. ,
DOI : 10.1109/9.664160
Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987. ,
DOI : 10.1137/0325066
Numerical Abstract Domain Using Support Functions, NASA Formal Methods, pp.155-169 ,
DOI : 10.1007/978-3-642-38088-4_11
Efficient Representation and Computation of Reachable Sets for Hybrid Systems, Hybrid Systems: Computation and Control, pp.482-497, 2003. ,
DOI : 10.1007/3-540-36580-X_35
Approximation of the viability kernel, Applied Mathematics & Optimization, vol.14, issue.3, pp.187-209, 1994. ,
DOI : 10.1007/BF01204182
Symbolic control of linear systems based on symbolic subsystems, IEEE Transactions on Automatic Control, vol.51, issue.6, pp.1003-1013, 2006. ,
An approximate simulation approach to symbolic control, IEEE Transactions on Automatic Control, vol.53, issue.6, pp.1406-1418, 2008. ,
Verification and Control of Hybrid Systems -A Symbolic Approach, 2009. ,
Approximate reduction of dynamic systems, Systems & Control Letters, vol.57, issue.7, pp.538-545, 2008. ,
DOI : 10.1016/j.sysconle.2007.12.005
Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control, IFAC World Congress, pp.10201-10206, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.01726
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer, Hybrid Systems: Computation and Control, pp.351-365, 2009. ,
DOI : 10.1007/978-3-540-78929-1_30
Computational techniques for the verification of hybrid systems, Proceedings of the IEEE, vol.91, issue.7, pp.986-1001, 2003. ,
DOI : 10.1109/JPROC.2003.814621
Linear Time Logic Control of Discrete-Time Linear Systems, Conference on Concurrency Theory, pp.1862-1877, 2005. ,
DOI : 10.1109/TAC.2006.886494
An intrinsic characterization of approximate probabilistic bisimilarity Equivalence of dynamical systems by bisimulation, Foundations of Software Science and Computation Structures, pp.200-215, 2003. ,
The self triggered task model for realtime control systems, IEEE Real-Time Systems Symposium, pp.67-70, 2003. ,
Approximate Bisimilarity, Algebraic Methodology and Software Technology, pp.309-322, 2000. ,
DOI : 10.1007/3-540-45499-3_23
Lectures on polytopes, 1995. ,
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. ArXiv e-prints, 2013. ,
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2012. ,
DOI : 10.1109/TAC.2011.2176409
Continuous-time consensus under persistent connectivity and slow divergence of reciprocal interaction weights, SIAM Journal on Control and Optimization, vol.51, issue.3, pp.2568-2584, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00839608
Low-complexity quantized switching controllers using approximate bisimulation. Nonlinear Analysis: Hybrid Systems, pp.34-44, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00839610
Verification of Safety and Liveness Properties of Metric Transition Systems, special issue on Verification of Cyber-Physical Software Systems, 2012. ,
DOI : 10.1145/2331147.2331164
URL : https://hal.archives-ouvertes.fr/hal-00765686
Time-triggered implementations of dynamic controllers, special issue on Verification of Cyber-Physical Software Systems, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00171553
Controller synthesis for safety and reachability via approximate bisimulation, Automatica, vol.48, issue.5, p.947953, 2012. ,
DOI : 10.1016/j.automatica.2012.02.037
URL : https://hal.archives-ouvertes.fr/hal-00765682
Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices, IEEE Transactions on Automatic Control, vol.57, issue.4, pp.1046-1051, 2012. ,
DOI : 10.1109/TAC.2011.2168874
URL : https://hal.archives-ouvertes.fr/hal-00765680
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory, European Journal of Control, vol.17, issue.5-6, pp.5-6568, 2011. ,
DOI : 10.3166/ejc.17.568-578
URL : https://hal.archives-ouvertes.fr/hal-00765660
Opinion dynamics with decaying confidence: application to community detection in graphs, IEEE Transactions on Automatic Control, vol.56, issue.8, pp.1862-1873, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00622835
Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems, special issue related to the, IFAC World Congress, pp.250-262, 2008. ,
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010. ,
DOI : 10.1109/TAC.2009.2034922
URL : https://hal.archives-ouvertes.fr/hal-00765597
Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009. ,
DOI : 10.1016/j.automatica.2008.09.016
URL : https://hal.archives-ouvertes.fr/hal-00379793
Temporal logic planning for dynamic models, Automatica, vol.45, issue.2, pp.343-352, 2009. ,
Approximately bisimilar symbolic models for nonlinear control systems, Automatica, vol.44, issue.10, pp.2508-2516, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00379755
Approximate simulation relations for hybrid systems. Discrete Event Dynamic Systems, special issue on Discrete Event Methodologies for Hybrid Systems, pp.163-179, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00307035
Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, issue.8, pp.1307-1317, 2007. ,
DOI : 10.1016/j.automatica.2007.01.019
URL : https://hal.archives-ouvertes.fr/hal-00171420
Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007. ,
DOI : 10.1109/TAC.2007.895849
URL : https://hal.archives-ouvertes.fr/hal-00171714
Hybridization methods for the analysis of non-linear systems, Acta Informatica, special issue on Hybrid Systems, vol.43, issue.7, pp.451-476, 2007. ,
Towards a Multiresolution Approach to Linear Control, IEEE Transactions on Automatic Control, vol.51, issue.8, pp.1261-1270, 2006. ,
DOI : 10.1109/TAC.2006.878717
URL : https://hal.archives-ouvertes.fr/hal-00306968
Controllability and invariance of monotone systems for robust ventilation automation in buildings, IEEE Conference on Decision and Control, 2013. ,
Mode sequences as symbolic states in abstractions of incrementally stable switched systems, 52nd IEEE Conference on Decision and Control, 2013. ,
DOI : 10.1109/CDC.2013.6760375
URL : https://hal.archives-ouvertes.fr/hal-00924815
A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws, IEEE Conference on Decision and Control, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00926211
Lyapunov techniques for stabilization of switched linear systems of conservation laws, IEEE Conference on Decision and Control, 2013. ,
Lyapunov stability of a singularly perturbed system of two conservation laws, IFAC Workshop on the Control of Systems Modeled by Partial Differential Equations, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00839621
An approximate abstraction approach to safety control of differentially flat systems, European Control Conference, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00839619
CoSyMA, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, 2013. ,
DOI : 10.1145/2461328.2461343
URL : https://hal.archives-ouvertes.fr/hal-00839613
Clustering-based H2-state aggregation of positive networks and its application to reduction of chemical master equations, IEEE Conference on Decision and Control, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00769676
Lyapunov functions for switched linear hyperbolic systems. 4th IFAC conference on Analysis and Design of Hybrid Systems, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00734469
Low-complexity switching controllers for safety using symbolic models . 4th IFAC conference on Analysis and Design of Hybrid Systems, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00769673
Multi-agent flocking with random communication radius, American Control Conference, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00769675
Safety controller synthesis for switched systems using multi-scale symbolic models, Joint IEEE Conference on Decision and Control and European Control Conference, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00665226
SpaceEx: scalable verification of hybrid systems, Thao Dang et Oded Maler, 2011. ,
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. Hybrid Systems: Computation and Control, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00665219
Sufficent conditions for flocking via graph robustness analysis, IEEE Conference on Decision and Control, 2010. ,
Synthesis using approximately bisimilar abstractions: time-optimal control problems, 49th IEEE Conference on Decision and Control (CDC), 2010. ,
DOI : 10.1109/CDC.2010.5717756
URL : https://hal.archives-ouvertes.fr/hal-00769592
Consensus with constrained convergence rate: agreement in communities, IEEE Conference on Decision and Control, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00769604
A model of opinion dynamics for community detection in graphs, IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00769568
Consensus with constrained convergence rate and time-delays. 9th IFAC Workshop on Time Delay Systems, 2010. ,
Synthesis using approximately bisimilar abstractions, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.111-120, 2010. ,
DOI : 10.1145/1755952.1755969
URL : https://hal.archives-ouvertes.fr/hal-00665219
Reachability Analysis of Hybrid Systems Using Support Functions, Computer Aided Verification LNCS, vol.5643, pp.540-554, 2009. ,
DOI : 10.1007/978-3-642-02658-4_40
Bounded and unbounded safety verification using bisimulation metrics Hybrid Systems: Computation and Control, LNCS, vol.5469, pp.426-440, 2009. ,
Motion planning for nonlinear systems using hybridizations and robust controllers on simplices, 2008 47th IEEE Conference on Decision and Control, pp.239-244, 2008. ,
DOI : 10.1109/CDC.2008.4738758
URL : https://hal.archives-ouvertes.fr/hal-00379740
Efficient Reachability Analysis for Linear Systems using Support Functions, IFAC Proceedings Volumes, vol.41, issue.2, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.01514
URL : https://hal.archives-ouvertes.fr/hal-00307009
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis, Hybrid Systems: Computation and Control LNCS, vol.4981, pp.215-228, 2008. ,
DOI : 10.1007/978-3-540-78929-1_16
URL : https://hal.archives-ouvertes.fr/hal-00306993
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.201-214, 2008. ,
DOI : 10.1109/TAC.2009.2034922
URL : https://hal.archives-ouvertes.fr/hal-00765597
Symbolic models for nonlinear control systems using approximate bisimulation, 46th IEEE Conference on Decision and Control, pp.4656-4661, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00307012
Approximate hierarchies of linear control systems, 2007 46th IEEE Conference on Decision and Control, pp.3727-3732, 2007. ,
DOI : 10.1109/CDC.2007.4434071
URL : https://hal.archives-ouvertes.fr/hal-00307020
Hierarchical synthesis of hybrid controllers from temporal logics specifications, Hybrid Systems: Computation and Control, pp.203-216, 2007. ,
Approximately Bisimilar Finite Abstractions of Stable Linear Systems, Hybrid Systems: Computation and Control LNCS, vol.4416, pp.231-244, 2007. ,
DOI : 10.1007/978-3-540-71493-4_20
URL : https://hal.archives-ouvertes.fr/hal-00306999
Hierarchical Control using Approximate Simulation Relations, Proceedings of the 45th IEEE Conference on Decision and Control, 2006. ,
DOI : 10.1109/CDC.2006.377051
URL : https://hal.archives-ouvertes.fr/hal-00307028
Time-triggered implementations of dynamic controllers, 6th ACM and IEEE Conference on Embedded Software, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00171553
Colas Le Guernic et Oded Maler, Recent progress in continuous and hybrid reachability analysis, IEEE International Symposium on Computer-Aided Control Systems Design, 2006. ,
Temporal logic verification using simulation. Formal Modelling and Analysis of Timed Systems, LNCS, vol.4202, pp.171-186, 2006. ,
Approximate simulation relations for hybrid systems. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, pp.106-111, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00307035
Approximate bisimulation for a class of stochastic hybrid systems, 2006 American Control Conference, 2006. ,
DOI : 10.1109/ACC.2006.1657467
URL : https://hal.archives-ouvertes.fr/hal-00171556
Verification using simulation Hybrid Systems : Computation and Control, LNCS, vol.3927, pp.272-286, 2006. ,
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, Hybrid Systems: Computation and Control, pp.257-271, 2006. ,
DOI : 10.1007/11730637_21
URL : https://hal.archives-ouvertes.fr/hal-00171555
Approximate Bisimulations for Constrained Linear Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.4700-4705, 2005. ,
DOI : 10.1109/CDC.2005.1582904
URL : https://hal.archives-ouvertes.fr/hal-00171539
Approximate Bisimulations for Nonlinear Dynamical Systems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.684-689, 2005. ,
DOI : 10.1109/CDC.2005.1582235
URL : https://hal.archives-ouvertes.fr/hal-00171559
Quantifying the gap between embedded control models and time-triggered implementations, 26th IEEE Real-Time Systems Symposium, pp.111-120, 2005. ,
Reachability of uncertain linear systems using zonotopes Hybrid Systems: Computation and Control, LNCS, vol.3414, pp.291-305, 2005. ,
Optimal control of linear systems: a multiresolution approach, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.1806-1811, 2004. ,
DOI : 10.1109/CDC.2004.1430311
URL : https://hal.archives-ouvertes.fr/hal-00307049
Computation and stability analysis of limit cycles in piecewise linear hybrid systems. 1st IFAC Conference on Analysis and Design of Hybrid Systems, pp.181-186, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00307053
Reachability analysis of non-linear systems using conservative approximations, Hybrid Systems: Computation and Control, pp.20-35, 2003. ,
Detection of event occurrence in piecewise linear hybrid systems, 4th International Conference on Recent Advances in Soft Computing, pp.19-25, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00307055
Approximate solutions of ODEs using piecewise linear vector fields, 5th International Workshop on Computer Algebra in Scientific Computing, pp.107-120, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00307056
Tools for the analysis of hybrid models, Claude Jard et Olivier H. Roux, ´ editeurs, Communicating Embedded Systems -Software and Design, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00765812
Outils pour l'analyse des modèles hybrides, Approches formelles des systèmes embarqués communicants. Traité IC2, série Informatique et systèmes d'information, 2008. ,
Analyse algorithmique des systèmes hybrides, Thèse de doctorat, 2004. ,
Etude de systèmes dynamiques hybrides affines par morceaux, 2001. ,