, Let us now complete the denition of s in ij on the remaining parts of P. The missing case in (108) is when s in i (t, x) ? s in j (t, ?) and ? = x. However
, n}, we use the same function f given by (111) (in fact, the result then 759 directly follows from the intermediate value theorem)
, References 786
, Control of a time-variant 1d linear hyperbolic 787 pde using innite-dimensional backstepping, 26th Mediterranean Conference on Control 788 and Automation (MED), 2018.
, Minimum time control of heterodirectional linear 790 coupled hyperbolic PDEs, Automatica J. IFAC, vol.71, p.300307, 2016.
, Backstepping-forwarding control and 792 observation for hyperbolic PDEs with Fredholm integrals, IEEE Trans. Automat. Con-793 trol, vol.60, issue.8, p.21452160, 2015.
, Continuous nite-time stabilization of the 795 translational and rotational double integrators, IEEE Trans. Automat. Control, vol.43, issue.5, p.678682, 1998.
, Stability and boundary stabilization of 1-D 798 hyperbolic systems, Progress in Nonlinear Dierential Equations and their Applications, vol.799, 2016.
, Innite dimensional backstepping-style feedback 801 transformations for a heat equation with an arbitrary level of instability, European 802 Journal of Control, vol.8, p.165175, 2002.
, Boundary control of an unstable 804 heat equation via measurement of domain-averaged temperature, IEEE Trans. Automat. 805 Control, vol.46, issue.12, 2001.
, Liapunov functions and stability in control theory, Communications and Control Engineering Series, vol.807, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00139067
, Hyperbolic systems of conservation laws, Oxford Lecture Series, p.810
, The 811 one-dimensional Cauchy problem, Mathematics and its Applications, vol.20, 2000.
, A classication of linear controllable systems, Kybernetika (Prague), vol.813, p.173188, 1970.
, Andréa Novel, Stabilization of a rotating body beam 815 without damping, IEEE Trans. Automat. Control, vol.43, issue.5, p.608618, 1998.
, Rapid stabilization of 817 a linearized bilinear 1-D Schrödinger equation, J. Math. Pures Appl, vol.818, issue.9, p.2473, 2018.
, Stabilization and controllability of 820 rst-order integro-dierential hyperbolic equations, J. Funct. Anal, vol.271, issue.12, p.35543587, 2016.
, Finite-time boundary stabilization of general linear hyperbolic balance laws via 823
, Fredholm backstepping transformation, Automatica J. IFAC, vol.84, p.95100, 2017.
, Local rapid stabilization for a Korteweg-de Vries equation 825 with a Neumann boundary control on the right, J. Math. Pures Appl, vol.826, issue.9, p.10801120, 2014.
, Fredholm transform and local rapid stabilization for a Kuramoto-Sivashinsky 828 equation, J. Dierential Equations, vol.259, issue.8, p.36833729, 2015.
, Optimal time for the controllability of linear 830 hyperbolic systems in one-dimensional space, SIAM J. Control Optim, vol.57, issue.2, p.11271156, 2019.
, The solution of initial-boundary value problems for parabolic equations 833 by the method of integral operators, J. Dierential Equations, vol.26, issue.2, 1977.
, Control and nonlinearity, Mathematical Surveys and Monographs, vol.835, 2007.
, , p.837
, ponential H 2 stabilization of a 2 × 2 quasilinear hyperbolic system using backstepping, p.838
, SIAM J. Control Optim, vol.51, issue.3, 2013.
, Backstepping-based 840 boundary observer for a class of time-varying linear hyperbolic PIDEs, Automatica 841 J. IFAC, vol.68, p.369377, 2016.
, Ordinary dierential equations, Classics in Applied Mathematics, p.843
, Society for Industrial and Applied Mathematics (SIAM), vol.38, 2002.
, Finite-time backstepping boundary stabilization of 3×3 847 hyperbolic systems, Proceedings of the European Control Conference (ECC), pp.848-6772, 2015.
, Control of homodi-850 rectional and general heterodirectional linear coupled hyperbolic PDEs
, Control, vol.61, issue.11, p.33013314, 2016.
, Minimal time for the exact controllability of one-853 dimensional rst-order linear hyperbolic systems by one-sided boundary controls, sub-854 mitted, 2019.
, Integral equations, vol.856, 1973.
, Boundary exponen-858 tial stabilization of 1-dimensional inhomogeneous quasi-linear hyperbolic systems, SIAM 859 J. Control Optim, vol.57, issue.2, p.963998, 2019.
, Kronecker invariants and feedback, Ordinary Dierential Equa-861 tions, p.459471, 1972.
, Nonexistence for a boundary value problem arising in parabolic theory, p.863
, Israel J. Math, vol.71, issue.3, p.349351, 1990.
, Backstepping control of coupled linear 865 parabolic pdes with space and time dependent coecients, IEEE Transactions on Auto-866 matic Control, 2019.
, Boundary control of PDEs, Advances in De-868 sign and Control, vol.16, p.869
, A course on backstepping designs, 2008.
, Boundary feedback stabilization of an unstable heat equation, SIAM J. Con-871 trol Optim, vol.42, p.10331043, 2003.
, Backstepping boundary control of Burgers' equation 873 with actuator dynamics, Systems Control Lett, vol.41, issue.4, p.291303, 2000.
, Exact boundary controllability for quasi-linear hyperbolic 875 systems, SIAM J. Control Optim, vol.41, issue.6, p.17481755, 2003.
, Canonical forms and spectral determination for a class of hyperbolic 877 distributed parameter control systems, J. Math. Anal. Appl, vol.62, issue.1, 1978.
, Two results on exact boundary control of parabolic equations
, Math. Optim, vol.11, issue.2, p.145152, 1984.
, Arbitrary decay rate for Euler-881
, Bernoulli beam by backstepping boundary feedback, IEEE Trans. Automat. Control, vol.54, issue.5, p.11341140, 2009.
, On control design for PDEs with space-884 dependent diusivity or time-dependent reactivity, Automatica J. IFAC, vol.41, issue.9, p.16011608, 2005.
, Texts in Applied Mathe-887 matics, vol.6, 1998.
, Exact controllability for nonautonomous rst order quasilinear hyper-890 bolic systems, Chinese Ann. Math. Ser. B, vol.27, issue.6, p.643656, 2006.
, Linear multivariable control, Applications of Mathematics, vol.10, 1985.