{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:07:54Z","timestamp":1740132474110,"version":"3.37.3"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1239037"],"award-info":[{"award-number":["CNS-1239037"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSF","award":["CNS-1446298","ECCS-1553873"],"award-info":[{"award-number":["CNS-1446298","ECCS-1553873"]}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["N66001-14-1-4045"],"award-info":[{"award-number":["N66001-14-1-4045"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Early Career Faculty"},{"name":"NASA's Space Technology Research Grants Program"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1109\/tac.2019.2910949","type":"journal-article","created":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T22:32:56Z","timestamp":1558477976000},"page":"461-476","source":"Crossref","is-referenced-by-count":5,"title":["Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints"],"prefix":"10.1109","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8748-6936","authenticated-orcid":false,"given":"Petter","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5552-4392","authenticated-orcid":false,"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(94)00205-3"},{"journal-title":"Network Flows","year":"1993","author":"ahuja","key":"ref30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883833"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.004"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351631"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1115\/1.4030817"},{"key":"ref14","first-page":"1","article-title":"Modeling and control of aggregated heterogeneous thermostatically controlled loads for ancillary services","author":"koch","year":"0","journal-title":"Proc Power Syst Comput Conf"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2358844"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2014.2328865"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2381453"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883831"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055021"},{"key":"ref28","first-page":"187","article-title":"On a class of maximal invariance inducing control strategies for large collections of switched systems","author":"nilsson","year":"0","journal-title":"Proc Int Conf Hybrid Syst Comput Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799145"},{"journal-title":"Gurobi Optimizer Reference Manual","year":"2015","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.009"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2775962"},{"journal-title":"Differential Equations Dynamical Systems and an Introduction to Chaos","year":"2012","author":"hirsch","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2528046"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178144"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2753039"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref9","first-page":"58","article-title":"Efficient finite abstraction of mixed monotone systems","author":"coogan","year":"0","journal-title":"Proc Int Conf Hybrid Syst Comput Control"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7","author":"belta","year":"2017","journal-title":"Formal Methods for Discrete-Time Dynamical Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2016.02.002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"journal-title":"Elementary Number Theory and Its Applications","year":"1986","author":"rosen","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1137\/130929400"},{"journal-title":"Non-Negative Matrices and Markov Chains","year":"2006","author":"seneta","key":"ref25"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/8972645\/8691525-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8972645\/08691525.pdf?arnumber=8691525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T16:31:51Z","timestamp":1651077111000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8691525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":31,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tac.2019.2910949","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"},{"type":"electronic","value":"2334-3303"}],"subject":[],"published":{"date-parts":[[2020,2]]}}}