{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T21:13:19Z","timestamp":1783545199187,"version":"3.55.0"},"reference-count":40,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62573085"],"award-info":[{"award-number":["62573085"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100018617","name":"Liaoning Revitalization Talents Program","doi-asserted-by":"publisher","award":["XLYC2403048"],"award-info":[{"award-number":["XLYC2403048"]}],"id":[{"id":"10.13039\/501100018617","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100013804","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100013804","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["DUT22RT(3)090"],"award-info":[{"award-number":["DUT22RT(3)090"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Systems & Control Letters"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1016\/j.sysconle.2026.106508","type":"journal-article","created":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T13:29:42Z","timestamp":1781962182000},"page":"106508","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Symbolic models for switched systems with ranged dwell-times"],"prefix":"10.1016","volume":"215","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9929-1033","authenticated-orcid":false,"given":"Zhuorui","family":"Pan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zuodong","family":"Pan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3300-0993","authenticated-orcid":false,"given":"Wei","family":"Ren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ximing","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.sysconle.2026.106508_b1","volume":"vol. 190","author":"Liberzon","year":"2003"},{"key":"10.1016\/j.sysconle.2026.106508_b2","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.automatica.2015.01.008","article-title":"Leader-following consensus of a class of stochastic delayed multi-agent systems with partial mixed impulses","volume":"53","author":"Tang","year":"2015","journal-title":"Automatica"},{"issue":"5","key":"10.1016\/j.sysconle.2026.106508_b3","doi-asserted-by":"crossref","first-page":"2171","DOI":"10.1109\/TCSI.2021.3060745","article-title":"Bumpless transfer control for switched linear systems and its application to aero-engines","volume":"68","author":"Shi","year":"2021","journal-title":"IEEE Trans. Circuits Syst. I. Regul. Pap."},{"issue":"10","key":"10.1016\/j.sysconle.2026.106508_b4","doi-asserted-by":"crossref","first-page":"3164","DOI":"10.1109\/TAC.2015.2504723","article-title":"Noise-to-state stability for a class of random systems with state-dependent switching","volume":"61","author":"Zhang","year":"2016","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"10.1016\/j.sysconle.2026.106508_b5","doi-asserted-by":"crossref","first-page":"3926","DOI":"10.1109\/TSMC.2021.3078299","article-title":"H\u221e Control of linear networked and quantized control systems with communication delays and random packet losses","volume":"52","author":"Ren","year":"2022","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"10.1016\/j.sysconle.2026.106508_b6","series-title":"Int. Conf. Methods and Models in Automation and Robotics","first-page":"508","article-title":"The mathematical model of the human arm as a switched linear system","author":"Babiarz","year":"2014"},{"key":"10.1016\/j.sysconle.2026.106508_b7","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1007\/s10846-020-01260-7","article-title":"Model reference adaptive control of switched dynamical systems with applications to aerial robotics","volume":"100","author":"Anderson","year":"2020","journal-title":"J. Intell. Robot. Syst."},{"issue":"3","key":"10.1016\/j.sysconle.2026.106508_b8","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1016\/j.rcim.2010.10.002","article-title":"Switching control approach for stable navigation of mobile robots in unknown environments","volume":"27","author":"Toibero","year":"2011","journal-title":"Robot. Comput.-Integr. Manuf."},{"key":"10.1016\/j.sysconle.2026.106508_b9","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.sysconle.2016.09.005","article-title":"Stability and stabilization of switched stochastic systems under asynchronous switching","volume":"97","author":"Ren","year":"2016","journal-title":"Syst. Control. Lett."},{"issue":"2","key":"10.1016\/j.sysconle.2026.106508_b10","first-page":"654","article-title":"Vector-Lyapunov-function-based input-to-state stability of stochastic impulsive switched time-delay systems","volume":"64","author":"Ren","year":"2019","journal-title":"IEEE Trans. Autom. Control"},{"issue":"7","key":"10.1016\/j.sysconle.2026.106508_b11","doi-asserted-by":"crossref","first-page":"1809","DOI":"10.1109\/TAC.2011.2178629","article-title":"Stability and stabilization of switched linear systems with mode-dependent average dwell time","volume":"57","author":"Zhao","year":"2012","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.sysconle.2026.106508_b12","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/j.isatra.2022.10.019","article-title":"Stability analysis for positive switched systems having stable and unstable subsystems based on a weighted average dwell time scheme","volume":"136","author":"Yu","year":"2023","journal-title":"ISA Trans."},{"issue":"12","key":"10.1016\/j.sysconle.2026.106508_b13","doi-asserted-by":"crossref","first-page":"1862","DOI":"10.1109\/TAC.2006.886494","article-title":"Linear time logic control of discrete-time linear systems","volume":"51","author":"Tabuada","year":"2006","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.sysconle.2026.106508_b14","series-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"Tabuada","year":"2009"},{"issue":"10","key":"10.1016\/j.sysconle.2026.106508_b15","doi-asserted-by":"crossref","first-page":"2508","DOI":"10.1016\/j.automatica.2008.02.021","article-title":"Approximately bisimilar symbolic models for nonlinear control systems","volume":"44","author":"Pola","year":"2008","journal-title":"Automatica"},{"issue":"5","key":"10.1016\/j.sysconle.2026.106508_b16","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","article-title":"Modular feedback logic for discrete event systems","volume":"25","author":"Ramadge","year":"1987","journal-title":"SIAM J. Control Optim."},{"issue":"1","key":"10.1016\/j.sysconle.2026.106508_b17","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","article-title":"Supervisory control of a class of discrete event processes","volume":"25","author":"Ramadge","year":"1987","journal-title":"SIAM J. Control Optim."},{"issue":"5","key":"10.1016\/j.sysconle.2026.106508_b18","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1016\/j.automatica.2012.02.037","article-title":"Controller synthesis for safety and reachability via approximate bisimulation","volume":"48","author":"Girard","year":"2012","journal-title":"Automatica"},{"issue":"1","key":"10.1016\/j.sysconle.2026.106508_b19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/MRA.2007.339624","article-title":"Symbolic planning and control of robot motion","volume":"14","author":"Belta","year":"2007","journal-title":"IEEE Robot. Autom. Mag."},{"issue":"2","key":"10.1016\/j.sysconle.2026.106508_b20","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","article-title":"Temporal logic motion planning for dynamic robots","volume":"45","author":"Fainekos","year":"2009","journal-title":"Automatica"},{"issue":"6","key":"10.1016\/j.sysconle.2026.106508_b21","doi-asserted-by":"crossref","first-page":"1537","DOI":"10.1109\/TAC.2015.2478131","article-title":"Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models","volume":"61","author":"Girard","year":"2016","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"10.1016\/j.sysconle.2026.106508_b22","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TAC.2009.2034922","article-title":"Approximately bisimilar symbolic models for incrementally stable switched systems","volume":"55","author":"Girard","year":"2010","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.sysconle.2026.106508_b23","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.sysconle.2014.04.003","article-title":"Approximately bisimilar symbolic models for randomly switched stochastic systems","volume":"69","author":"Zamani","year":"2014","journal-title":"Syst. Control. Lett."},{"key":"10.1016\/j.sysconle.2026.106508_b24","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.automatica.2015.03.004","article-title":"Symbolic models for stochastic switched systems: A discretization and a discretization-free approach","volume":"55","author":"Zamani","year":"2015","journal-title":"Automatica"},{"key":"10.1016\/j.sysconle.2026.106508_b25","series-title":"European Control Conference","first-page":"1269","article-title":"Safety controller design for incrementally stable switched systems using event-based symbolic models","author":"Kader","year":"2019"},{"key":"10.1016\/j.sysconle.2026.106508_b26","series-title":"European Control Conference","first-page":"2806","article-title":"Multirate multiscale symbolic models for incrementally stable switched systems","author":"Pan","year":"2024"},{"issue":"9","key":"10.1016\/j.sysconle.2026.106508_b27","doi-asserted-by":"crossref","first-page":"4393","DOI":"10.1016\/j.jfranklin.2022.04.013","article-title":"Approximately bisimilar symbolic model for switched systems with unstable subsystems","volume":"359","author":"Liu","year":"2022","journal-title":"J. Frank. Inst."},{"key":"10.1016\/j.sysconle.2026.106508_b28","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.automatica.2018.09.005","article-title":"Optimal multirate sampling in symbolic models for incrementally stable switched systems","volume":"98","author":"Saoud","year":"2017","journal-title":"Automatica"},{"issue":"9","key":"10.1016\/j.sysconle.2026.106508_b29","doi-asserted-by":"crossref","first-page":"2101","DOI":"10.1109\/TAC.2011.2107631","article-title":"Stability analysis of networked control systems using a switched linear systems approach","volume":"56","author":"Donkers","year":"2011","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.sysconle.2026.106508_b30","article-title":"Converse Lyapunov results for switched systems with lower and upper bounds on switching intervals","volume":"163","author":"Rossa","year":"2024","journal-title":"Automatica"},{"issue":"5","key":"10.1016\/j.sysconle.2026.106508_b31","doi-asserted-by":"crossref","first-page":"3051","DOI":"10.1137\/22M1529579","article-title":"Stability of continuous time linear systems with bounded switching intervals","volume":"61","author":"Protasov","year":"2023","journal-title":"SIAM J. Control Optim."},{"issue":"5","key":"10.1016\/j.sysconle.2026.106508_b32","doi-asserted-by":"crossref","first-page":"1304","DOI":"10.1109\/TAC.2012.2220031","article-title":"Affine characterizations of minimal and mode-dependent dwell-times for uncertain linear switched systems","volume":"58","author":"Briat","year":"2012","journal-title":"IEEE Trans. Autom. Control"},{"issue":"7","key":"10.1016\/j.sysconle.2026.106508_b33","doi-asserted-by":"crossref","first-page":"1804","DOI":"10.1109\/TAC.2011.2176409","article-title":"Symbolic models for nonlinear control systems without stability assumptions","volume":"57","author":"Zamani","year":"2012","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"10.1016\/j.sysconle.2026.106508_b34","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.sysconle.2012.11.015","article-title":"Convergent systems vs. incremental stability","volume":"62","author":"R\u00fcffer","year":"2013","journal-title":"Systems Control Lett."},{"issue":"9","key":"10.1016\/j.sysconle.2026.106508_b35","doi-asserted-by":"crossref","first-page":"6450","DOI":"10.1109\/TAC.2024.3385036","article-title":"Incremental versus differential approaches to exponential stability and passivity","volume":"69","author":"Kawano","year":"2024","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"10.1016\/j.sysconle.2026.106508_b36","doi-asserted-by":"crossref","DOI":"10.1002\/zamm.201800141","article-title":"Construction of finsler-Lyapunov functions with meshless collocation","volume":"99","author":"Giesl","year":"2019","journal-title":"ZAMM-Journal Appl. Math. Mech."},{"issue":"3","key":"10.1016\/j.sysconle.2026.106508_b37","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TAC.2013.2285771","article-title":"A differential Lyapunov framework for contraction analysis","volume":"59","author":"Forni","year":"2013","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.sysconle.2026.106508_b38","unstructured":"M. Velasco, J. Fuertes, P. Marti, The self triggered task model for real-time control systems, in: Work-in-Progress Session of IEEE Real-Time Systems Symposium, 2003."},{"key":"10.1016\/j.sysconle.2026.106508_b39","doi-asserted-by":"crossref","unstructured":"S. Mouelhi, A. Girard, G. G\u00f6ssler, CoSyMA: A tool for controller synthesis using multi-scale abstractions, in: Int. Conf. Hybrid Syst., Comput. Control, 2013, pp. 83\u201388.","DOI":"10.1145\/2461328.2461343"},{"key":"10.1016\/j.sysconle.2026.106508_b40","series-title":"IEEE in. Conf. Robot. Autom.","first-page":"5054","article-title":"Kinodynamic RRT*: Asymptotically optimal motion planning for robots with linear dynamics","author":"Webb","year":"2013"}],"container-title":["Systems & Control Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167691126001684?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167691126001684?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T20:14:09Z","timestamp":1783541649000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167691126001684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":40,"alternative-id":["S0167691126001684"],"URL":"https:\/\/doi.org\/10.1016\/j.sysconle.2026.106508","relation":{},"ISSN":["0167-6911"],"issn-type":[{"value":"0167-6911","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Symbolic models for switched systems with ranged dwell-times","name":"articletitle","label":"Article Title"},{"value":"Systems & Control Letters","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.sysconle.2026.106508","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"106508"}}