Viability Theory, Systems & Control Foundations. Birkhäuser, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00636570
H ? -Optimal Control and Related Minimax Design Problems . A Dynamic Game Approach, 1995. ,
Dynamic Noncooperative Game Theory, Society for Industrial and Applied Mathematics, 1999. ,
Topological Spaces, 1963. ,
Convex Analysis and Measurable Multifunctions, Lecture Notes in Mathematics, vol.580, 1977. ,
DOI : 10.1007/BFb0087685
Exact and efficient Hamilton-Jacobi reachability for decoupled systems, 2015 54th IEEE Conference on Decision and Control (CDC), 2015. ,
DOI : 10.1109/CDC.2015.7402390
Computing polyhedral approximations to flow pipes for dynamic systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.2089-2094, 1998. ,
DOI : 10.1109/CDC.1998.758642
Computational techniques for hybrid system verification, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.64-75, 2003. ,
DOI : 10.1109/TAC.2002.806655
Optimization and Nonsmooth Analysis, 1983. ,
DOI : 10.1137/1.9781611971309
Optimal Control Problems with Mixed Constraints, SIAM Journal on Control and Optimization, vol.48, issue.7, pp.4500-4524, 2010. ,
DOI : 10.1137/090757642
URL : https://hal.archives-ouvertes.fr/hal-00863285
Nonsmooth Analysis and Control Theory, 1998. ,
URL : https://hal.archives-ouvertes.fr/hal-00863298
Verification and Synthesis of Hybrid Systems, 2000. ,
URL : https://hal.archives-ouvertes.fr/tel-00006738
The Theory of Max-Min, 1967. ,
On Barriers in State and Input Constrained Nonlinear Systems, SIAM Journal on Control and Optimization, vol.51, issue.4, pp.3208-3234, 2013. ,
DOI : 10.1137/130908786
URL : https://hal.archives-ouvertes.fr/hal-00794207
On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents, American Journal of Mathematics, vol.79, issue.3, pp.497-516, 1957. ,
DOI : 10.2307/2372560
A Preliminary Study of Barrier Stopping Points in Constrained Nonlinear Systems, Proceedings of the 19th International Federation of Automatic Control World Congress, pp.11993-11997, 2014. ,
DOI : 10.3182/20140824-6-ZA-1003.01273
Barriers in nonlinear control systems with mixed constraints, 2015. ,
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
Hybrid dynamical systems, IEEE Control Systems, vol.29, issue.2 ,
DOI : 10.1109/MCS.2008.931718
A Survey of the Maximum Principles for Optimal Control Problems with State Constraints, SIAM Review, vol.37, issue.2, pp.181-218, 1995. ,
DOI : 10.1137/1037043
Lectures on Lipschitz analysis, Lectures at the 14th Jyväskylä Summer School, 2004. ,
Calculus of Variations and Optimal Control Theory, 1966. ,
Differential Games, 1965. ,
Computing the viability kernel using maximal reachable sets, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.55-64, 2012. ,
DOI : 10.1145/2185632.2185644
Nonlinear Systems, 1996. ,
Planification de trajectoires et commande d'une classe de systèmes mécaniques plats et Liouvilliens, 2000. ,
Mullhaupt. Modelling, flatness and simulation of a class of cranes, Periodica Polytechnica, vol.43, issue.3, pp.215-225, 1999. ,
Modelling and motion planning for a class of weight handling equipment, J. Systems Science, vol.26, issue.4, pp.79-92, 2000. ,
Nonlinear and Adaptive Control Design, 1995. ,
Dynamic Optimization for Reachability Problems, Journal of Optimization Theory and Applications, vol.15, issue.2, pp.227-251, 2001. ,
DOI : 10.1023/A:1026497115405
Ellipsoidal Techniques for Reachability Analysis, Hybrid Systems: Computation and Control, pp.202-214, 2000. ,
DOI : 10.1007/3-540-46430-1_19
The Hamilton-Jacobi Type Equations for Nonlinear Target Control and Their Approximation, Analysis and Design of Nonlinear Control Systems, pp.77-90, 2008. ,
DOI : 10.1007/978-3-540-74358-3_6
Foundations of Optimal Control Theory. The SIAM Series in Applied Mathematics, 1967. ,
Analysis and Control of Nonlinear Systems: A Flatness-Based Approach, Mathematical Engineering, 2009. ,
DOI : 10.1007/978-3-642-00839-9
Switching in systems and control. Systems & Control : foundations & applications, 2003. ,
On reachability and minimum cost optimal control, Automatica, vol.40, issue.6, pp.917-927, 2004. ,
DOI : 10.1016/j.automatica.2004.01.012
Verified hybrid controllers for automated vehicles, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.522-539, 1996. ,
DOI : 10.1109/9.664155
Controllers for reachability specifications for hybrid systems, Automatica, vol.35, issue.3, pp.349-370, 1999. ,
DOI : 10.1016/S0005-1098(98)00193-9
Application of level set methods to control and reachability problems in continuous and hybrid systems, 2002. ,
A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games. Automatic Control, IEEE Transactions on, vol.50, issue.7, pp.947-957, 2005. ,
Integrator Backstepping using Barrier Functions for Systems with Multiple State Constraints, Proceedings of the 44th IEEE Conference on Decision and Control, pp.8306-8312, 2005. ,
DOI : 10.1109/CDC.2005.1583507
Taut Cable Control of a Tethered UAV, Proceedings of the 19th International Federation of Automatic Control World Congress, pp.3190-3195, 2014. ,
DOI : 10.3182/20140824-6-ZA-1003.02581
Barrier Lyapunov functions for the output tracking control of constrained nonlinear switched systems, Systems & Control Letters, vol.62, issue.10, pp.963-971, 2013. ,
DOI : 10.1016/j.sysconle.2013.07.003
Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation, Proceedings of the 45th IEEE Conference on Decision and Control, pp.3801-3807, 2006. ,
DOI : 10.1109/CDC.2006.377614
A practical guide to the solution of real-life optimal control problems, Control and Cybernetics, vol.23, issue.1, 1994. ,
The Mathematical Theory of Optimal Processes, 1965. ,
Barrier certificates for nonlinear model validation, Automatica, vol.42, issue.1, pp.117-126, 2006. ,
DOI : 10.1016/j.automatica.2005.08.007
Safety Verification of Hybrid Systems Using Barrier Certificates, Hybrid Systems: Computation and Control, pp.477-492, 2004. ,
DOI : 10.1007/978-3-540-24743-2_32
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems, SIAM Journal on Control and Optimization, vol.46, issue.3, pp.999-1021, 2007. ,
DOI : 10.1137/050645178
Approximation of the viability kernel, Applied Mathematics & Optimization, vol.14, issue.3, pp.187-209, 1994. ,
DOI : 10.1007/BF01204182
Differentially flat systems, 2004. ,
Control of state-constrained nonlinear systems using integral barrier lyapunov functionals, Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, 2012. ,
Barrier lyapunov functions for the control of output-constrained nonlinear systems, Automatica, vol.45, issue.4, pp.918-927, 2009. ,
Control of nonlinear systems with full state constraint using a barrier lyapunov function, 28th Chinese Control Conference Proceedings of the 48th IEEE Conference on, pp.8618-8623, 2009. ,
A game theoretic approach to controller design for hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.949-970, 2000. ,
DOI : 10.1109/5.871303
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
An Introduction to Hybrid Dynamical Systems, Lect. Notes in Contr. and Inform. Sci, vol.251, 2000. ,
DOI : 10.1007/BFb0109998
On the Existence of Solutions to a Differential Game, SIAM Journal on Control, vol.5, issue.1, pp.153-162, 1967. ,
DOI : 10.1137/0305009
Converse barrier certificate theorem, Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on, pp.4713-4718, 2013. ,
On the reachability problem for uncertain hybrid systems, Automatic Control IEEE Transactions on, vol.52, issue.9, pp.1572-1586, 2007. ,
Functional Analysis, 1971. ,