Voir la notice de l'article provenant de la source Library of Science
@article{IJAMCS_2020_30_4_a1, author = {Apaza-Perez, W. Alejandro and Combastel, Christophe and Zolghadri, Ali}, title = {On distributed symbolic control of interconnected systems under persistency specifications}, journal = {International Journal of Applied Mathematics and Computer Science}, pages = {629--639}, publisher = {mathdoc}, volume = {30}, number = {4}, year = {2020}, language = {en}, url = {http://geodesic.mathdoc.fr/item/IJAMCS_2020_30_4_a1/} }
TY - JOUR AU - Apaza-Perez, W. Alejandro AU - Combastel, Christophe AU - Zolghadri, Ali TI - On distributed symbolic control of interconnected systems under persistency specifications JO - International Journal of Applied Mathematics and Computer Science PY - 2020 SP - 629 EP - 639 VL - 30 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IJAMCS_2020_30_4_a1/ LA - en ID - IJAMCS_2020_30_4_a1 ER -
%0 Journal Article %A Apaza-Perez, W. Alejandro %A Combastel, Christophe %A Zolghadri, Ali %T On distributed symbolic control of interconnected systems under persistency specifications %J International Journal of Applied Mathematics and Computer Science %D 2020 %P 629-639 %V 30 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/IJAMCS_2020_30_4_a1/ %G en %F IJAMCS_2020_30_4_a1
Apaza-Perez, W. Alejandro; Combastel, Christophe; Zolghadri, Ali. On distributed symbolic control of interconnected systems under persistency specifications. International Journal of Applied Mathematics and Computer Science, Tome 30 (2020) no. 4, pp. 629-639. http://geodesic.mathdoc.fr/item/IJAMCS_2020_30_4_a1/
[1] [1] Apaza-Perez, W.A., Combastel, C. and Zolghadri, A. (2019). Abstraction-based low complexity controller synthesis for interconnected non-deterministic systems, 18th European Control Conference (ECC), Naples, Italy, pp. 4174–4179.
[2] [2] Belta, C., Yordanov, B. and Göl, E. (2017). Formal Methods for Discrete-Time Dynamical Systems, Springer, Cham.
[3] [3] Borri, A., Pola, G. and Benedetto, M.D.D. (2012). A symbolic approach to the design of nonlinear networked control systems, 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC’12, Beijing, China, pp. 255–264.
[4] [4] Borri, A., Pola, G. and Benedetto, M.D.D. (2019). Design of symbolic controllers for networked control systems, IEEE Transactions on Automatic Control 64(3): 1034–1046.
[5] [5] Chen, Y., Anderson, J., Kalsi, K., Low, S.H. and Ames, A.D. (2019). Compositional set invariance in network systems with assume-guarantee contracts, 2019 American Control Conference (ACC), Philadelphia, PA, USA, pp. 1027–1034.
[6] [6]Coënt, A.L., Fribourg, L., Markey, N., Vuyst, F.D. and Chamoin, L. (2016). Distributed synthesis of state-dependent switching control, in K.G. Larsen et al. (Eds), Reachability Problems, Springer, Cham, pp. 119–133.
[7] [7] Dallal, E. and Tabuada, P. (2015). On compositional symbolic controller synthesis inspired by small-gain theorems, 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, pp. 6133–6138.
[8] [8] Dashkovskiy, S.N., Rüffer, B.S. and Wirth, F.R. (2010). Small gain theorems for large scale systems and construction of ISS Lyapunov functions, SIAM Journal on Control and Optimization 48(6): 4089–4118.
[9] [9] Eqtami, A. and Girard, A. (2019). A quantitative approach on assume-guarantee contracts for safety of interconnected systems, 18th European Control Conference (ECC), Naples, Italy, pp. 536–541.
[10] [10] Ge, X., Yang, F. and Han, Q.L. (2017). Distributed networked control systems: A brief overview, Information Sciences 380: 117–131.
[11] [11] Ghasemi, K., Sadraddini, S. and Belta, C. (2020). Compositional synthesis via a convex parameterization of assume-guarantee contracts, 23rd International Conference on Hybrid Systems: Computation and Control, HSCC’20, Sydney, Australia.
[12] [12] Girard, A., Gössler, G. and Mouelhi, S. (2016). Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models, IEEE Transactions on Automatic Control 61(6): 1537–1549.
[13] [13] Girard, A. and Pappas, G.J. (2011). Approximate bisimulation: A bridge between computer science and control theory, European Journal of Control 17(5): 568–578.
[14] [14] Gruber, F., Kim, E.S. and Arcak, M. (2017). Sparsity-aware finite abstraction, 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Melbourne, Australia, pp. 2366–2371.
[15] [15] Henzinger, T.A., Qadeer, S., Rajamani, S.K. and Tasiran, S. (2002). An assume-guarantee rule for checking simulation, ACM Transactions on Programming Languages and Systems 24(1): 51–64.
[16] [16] Jabri, D., Guelton, K., Belkhiat, D.E.C. and Manamanni, N. (2020). Decentralized static output tracking control of interconnected and disturbed Takagi–Sugeno systems, International Journal of Applied Mathematics and Computer Science 30(2): 225–238, DOI: 10.34768/amcs-2020-0018.
[17] [17] Jiang, Z.P., Teel, A.R. and Praly, L. (1994). Small-gain theorem for ISS systems and applications, Mathematics of Control, Signals and Systems 7(2): 95–120.
[18] [18] Kamiński, M. (2015). Symbolic computing in probabilistic and stochastic analysis, International Journal of Applied Mathematics and Computer Science 25(4): 961–973, DOI: 10.1515/amcs-2015-0069.
[19] [19] Kim, E.S., Arcak, M. and Seshia, S.A. (2015). Compositional controller synthesis for vehicular traffic networks, 2015 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, pp. 6165–6171.
[20] [20] Majumdar, R. and Zamani, M. (2012). Approximately bisimilar symbolic models for digital control systems, in P. Madhusudan and S.A. Seshia (Eds), Computer Aided Verification, Springer, Berlin/Heidelberg, pp. 362–377.
[21] [21] Mazo, M., Davitian, A. and Tabuada, P. (2010). PESSOA: A tool for embedded controller synthesis, in T. Touili et al. (Eds), Computer Aided Verification, Springer, Berlin/Heidelberg, pp. 566–569.
[22] [22] Meyer, P. and Dimarogonas, D.V. (2017). Compositional abstraction refinement for control synthesis under lasso-shaped specifications, 2017 American Control Conference (ACC), Seattle, WA, USA, pp. 523–528.
[23] [23] Meyer, P., Girard, A. and Witrant, E. (2018). Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Transactions on Automatic Control 63(6): 1835–1841.
[24] [24] Mouelhi, S., Girard, A. and Gossler, G. (2013). COSYMA: A tool for controller synthesis using multi-scale abstractions, 16th International Conference on Hybrid Systems: Computation and Control, HSCC’13, Philadelphia, PA, USA, pp. 83–88.
[25] [25] Nilsson, L.P. (2017). Correct-by-Construction Control Synthesis for High-Dimensional Systems, PhD thesis, University of Michigan, Ann Arbor, MI.
[26] [26] Nilsson, P. and Ozay, N. (2020). Control synthesis for permutation-symmetric high-dimensional systems with counting constraints, IEEE Transactions on Automatic Control 65(2): 461–476.
[27] [27] Pola, G., Girard, A. and Tabuada, P. (2008). Approximately bisimilar symbolic models for nonlinear control systems, Automatica 44(10): 2508–2516.
[28] [28] Pola, G., Pepe, P. and Benedetto, M.D.D. (2018). Decentralized supervisory control of networks of nonlinear control systems, IEEE Transactions on Automatic Control 63(9): 2803–2817.
[29] [29] Pola, G., Pepe, P., Benedetto, M.D.D. and Tabuada, P. (2010). Symbolic models for nonlinear time-delay systems using approximate bisimulations, Systems Control Letters 59(6): 365–373.
[30] [30] Reissig, G. (2011). Computing abstractions of nonlinear systems, IEEE Transactions on Automatic Control 56(11): 2583–2598.
[31] [31] Reissig, G., Weber, A. and Rungger, M. (2017). Feedback refinement relations for the synthesis of symbolic controllers, IEEE Transactions on Automatic Control 62(4): 1781–1796.
[32] [32] Rungger, M. and Zamani, M. (2016). Scots: A tool for the synthesis of symbolic controllers, 19th International Conference on Hybrid Systems: Computation and Control, HSCC’16, Vienna, Austria, pp. 99–104.
[33] [33] Saoud, A. (2019). Compositional and Efficient Controller Synthesis for Cyber-Physical Systems, PhD thesis, Université Paris-Saclay, Gif sur Yvette.
[34] [34] Saoud, A., Girard, A. and Fribourg, L. (2019). Assume-guarantee contracts for discrete and continuous-time systems, Preprint, https://hal.archives-ouvertes.fr/hal-02196511.
[35] [35] Saoud, A., Girard, A. and Fribourg, L. (2020). Contract-based design of symbolic controllers for safety in distributed multiperiodic sampled-data systems, IEEE Transactions on Automatic Control, DOI:10.1109/TAC.2020.2992446.
[36] [36] Saoud, A., Jagtap, P., Zamani, M. and Girard, A. (2018). Compositional abstraction-based synthesis for cascade discrete-time control systems, 6th IFAC Conference on Analysis and Design of Hybrid System, Oxford, UK.
[37] [37] Tabuada, P. (2009). Verification and Control of Hybrid Systems, Springer, New York, NY.
[38] [38] Tazaki, Y. and Imura, J. (2012). Discrete abstractions of nonlinear systems based on error propagation analysis, IEEE Transactions on Automatic Control 57(3): 550–564.
[39] [39] Weber, A., Rungger, M. and Reissig, G. (2017). Optimized state space grids for abstractions, IEEE Transactions on Automatic Control 62(11): 5816–5821.
[40] [40] Wongpiromsarn, T., Topcu, U., Ozay, N., Xu, H. and Murray, R. (2011). Tulip: A software toolbox for receding horizon temporal logic planning, 14th International Conference on Hybrid Systems: Computation and Control, HSCC’11, Chicago, IL, USA, pp. 313–314.
[41] [41] Zamani, M., Esfahani, P.M., Majumdar, R., Abate, A. and Lygeros, J. (2014). Symbolic control of stochastic systems via approximately bisimilar finite abstractions, IEEE Transactions on Automatic Control 59(12): 3135–3150.
[42] [42] Zamani, M., Pola, G., Mazo, M. and Tabuada, P. (2012). Symbolic models for nonlinear control systems without stability assumptions, IEEE Transactions on Automatic Control 57(7): 1804–1809.
[43] [43] Zhai, G., Chen, N. and Gui, W. (2013). Decentralized design of interconnected H∞ feedback control systems with quantized signals, International Journal of Applied Mathematics and Computer Science 23(2): 317–325, DOI:10.2478/amcs-2013-0024.
[44] [44] Zolghadri, A., Henry, D. and Monsion, M. (1996). Design of nonlinear observers for fault diagnosis: A case study, Control Engineering Practice 4(11): 1535–1544.
[45] [45] Zonetti, D., Saoud, A., Girard, A. and Fribourg, L. (2019). A symbolic approach to voltage stability and power sharing in time-varying DC microgrids, 2019 18th European Control Conference (ECC), Naples, Italy, pp. 903–909.