Abstract
BIBO stability is a central concept for convolution systems, introduced in control theory by Callier, Desoer and Vidyasagar, in the seventies. It means that a bounded input leads to a bounded output, and is characterized by the fact that the kernel of the system is integrable. We generalize this result in this chapter, giving conditions for the output of a convolution system to evolve in a given polyhedron, for any input evolving in another given convex polyhedron. The conditions are formulated in terms of integrals deduced from the kernel of the considered system and the given polyhedra. The condition is exact. It permits to construct exact inner and outer polyhedral approximations of the reachable set of a linear system. The result is compared to various known results, and illustrated on the example of a system with two delays.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Callier, F.M., Desoer, C.A.: An algebra of transfer functions for distributed linear time-invariant systems. IEEE Trans. Circuits Syst. 25, 651–662 (1978)
Chen, H., Cheng, J., Zhong, S., Yang, J., Kang, W.: Improved results on reachable set bounding for linear systems with discrete and distributed delays. Adv. Differ. Equ. 145 (2015)
Chiasson, J., Loiseau, J.J. (eds.): Applications of Time Delay Systems. Springer, Berlin (2007)
Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the Fifth Annual Symposium on Principles of Programming Languages. ACM Press, New York (1978)
Desoer, C.A., Callier, F.M.: Convolution feedback systems. SIAM J. Control 10, 737–746 (1972)
Desoer, C.A., Vidyasagar, M.: Feedback Systems: Input-Output Properties. Academic Press, New York (1975)
Falcone, P., Ali, M., Sjoberg, J.: Predictive Threat assessment via reachability analysis and set invariance theory. IEEE Trans. Intell. Transp. Syst. 12, 1352–1361 (2011)
Fridman, E., Shaked, U.: On reachable sets for linear systems with delay and bounded peak inputs. Automatica 39, 2005–2010 (2003)
Guéguen, H., Lefebvre, M.-A., Zaytoon, J., Nasri, O.: Safety verification and reachability analysis for hybrid systems. Annu. Rev. Control 33, 25–36 (2009)
Hille, E., Phillips, R.S.: Functional Analysis and Semi-Groups. American Mathematical Society, Providence (1957)
Hwang, I., Stipanović, D.M., Tomlin, C.J.: Polytopic approximations of reachable sets applied to linear dynamic games and to a class of nonlinear systems. In: Advances in Control, Communication Networks, and Transportation Systems, in Honor of Pravin Varaiya, pp. 3–19. Birkhäuser, Boston (2005)
Ignaciuk, P., Bartoszevicz, A.: Congestion Control in Data Transmission Networks. Sliding Modes and Other Designs. Springer, New York (2013)
Lakkonen, P.: Robust regulation for infinite-dimensional systems and signals in the frequency domain. Ph.D. Thesis, Tampere University of Technology, Finland (2013)
Lygeros, J., Tomlin, C.J., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica 35, 349–370 (1999)
Meslem, N., Ramdani, N., Candau, Y.: Approximation garantie de l’espace d’état atteignable des systèmes dynamiques continus incertains. JESA J. Européen des Systèmes Automatisés 43, 241–266 (2009)
Moussaoui, C., Abbou, R., Loiseau, J.J.: On bounds of input-output systems. Reachability set determination and polyhedral constraints verification. In: Boje, S.O., Xia, X. (eds.) Proceedings of 19th IFAC World Congress, pp. 11012–11017. International Federation of Automatic Control, Cape Town (2014)
Moussaoui, C., Abbou, R., Loiseau, J.J.: Controller design for a class of delayed and constrained systems: application to supply chains. In: Seuret, A., Özbay, I., Bonnet, C., Mounier, H. (eds.) Low-Complexity Controllers for Time-Delay Systems, pp. 61–75. Springer, Berlin (2014)
Olaru, S., Stanković, N., Bitsoris, G., Niculescu, S.-I.: Low complexity invariant sets for time-delay systems: a set factorization approach. In: Seuret, A., Özbay, H., Bonnet, C., Mounier, H. (eds.) Low-Complexity Controllers for Time-Delay Systems, pp. 127–139. Springer, New York (2014)
Pecsvaradi, T., Narendra, K.S.: Reachable sets for linear dynamical systems. Inf. Control 19, 319–344 (1971)
Quadrat, A.: A lattice approach to analysis and synthesis problems. Math. Control Signals Syst. 18, 147–186 (2006)
Rockafellar, R.T.: Convex Analysis. Princeton University Press, Chichester (1970)
Sabatier, J., Agrawal, O.P., Tenreiro Machado, J.A. (eds.): Advances in Fractional Calculus. Springer, Berlin (2007)
Simon, H.A.: On the application of servomechanism theory in the study of production control. Econometrica 20, 247–268 (1952)
Varaya, P.: Reach set computation using optimal control. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems, pp. 323–331. Springer, Berlin (2000)
Acknowledgements
The author thanks very much Filippo Cacace and Joseph Winkin for their warm encouragements, which were crucial to produce this report.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Loiseau, J.J. (2017). Polyhedral Invariance for Convolution Systems over the Callier-Desoer Class. In: Cacace, F., Farina, L., Setola, R., Germani, A. (eds) Positive Systems . POSTA 2016. Lecture Notes in Control and Information Sciences, vol 471. Springer, Cham. https://doi.org/10.1007/978-3-319-54211-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-54211-9_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54210-2
Online ISBN: 978-3-319-54211-9
eBook Packages: EngineeringEngineering (R0)