{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T16:47:01Z","timestamp":1702745221343},"reference-count":19,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.272.6","type":"journal-article","created":{"date-parts":[[2018,6,25]],"date-time":"2018-06-25T08:47:06Z","timestamp":1529916426000},"page":"65-78","source":"Crossref","is-referenced-by-count":3,"title":["SENSE: Abstraction-Based Synthesis of Networked Control Systems"],"prefix":"10.4204","volume":"272","author":[{"given":"Mahmoud","family":"Khaled","sequence":"first","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Matthias","family":"Rungger","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]}],"member":"2720","published-online":{"date-parts":[[2018,6,25]]},"reference":[{"key":"CBaierPrincipModelChecking","volume-title":"Principles of model checking","author":"Baier","year":"April 2008"},{"issue":"7","key":"CloostermanetalStabilNCStimevar","doi-asserted-by":"publisher","first-page":"1575","DOI":"10.1109\/TAC.2009.2015543","article-title":"Stability of Networked Control Systems With Uncertain Time-Varying Delays","volume":"54","author":"Cloosterman","year":"2009","journal-title":"IEEE Transactions on Automatic Control"},{"key":"HeemelsStabilNCSchapter","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-0-85729-033-5_7","article-title":"Stability and Stabilization of Networked Control Systems","volume-title":"Networked Control Systems","author":"Heemels","year":"2010"},{"key":"mkhaledallerton16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/ALLERTON.2016.7852228","article-title":"Symbolic models of networked control systems: A feedback refinement relation approach","volume-title":"54th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","author":"Khaled","year":"2016"},{"key":"MZ","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-31424-7_28","article-title":"Approximately Bisimilar Symbolic Models for Digital Control Systems","volume-title":"Computer Aided Verification","author":"Majumdar","year":"2012"},{"key":"MalerPnueliSifakis95","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","article-title":"On the synthesis of discrete controllers for timed systems","volume-title":"12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95)","author":"Maler","year":"1995"},{"issue":"4","key":"DNesicDLiberzonUniFrameworkNCS","doi-asserted-by":"publisher","first-page":"732","DOI":"10.1109\/TAC.2009.2014930","article-title":"A Unified Framework for Design and Analysis of Networked and Quantized Control Systems","volume":"54","author":"Nesic","year":"2009","journal-title":"IEEE Transactions on Automatic Control"},{"key":"OMNETPP","article-title":"OMNeT++, a Discrete Event Simulator","author":"OpenSim-Ltd."},{"key":"StateVis","article-title":"StateVis, Multidimensional visualization of transition systems","author":"Pretorius"},{"issue":"4","key":"GReissigetalFRRTAC","doi-asserted-by":"publisher","first-page":"1781","DOI":"10.1109\/TAC.2016.2593947","article-title":"Feedback Refinement Relations for the Synthesis of Symbolic Controllers","volume":"62","author":"Reissig","year":"April 2017","journal-title":"IEEE Transactions on Automatic Control"},{"key":"SCOTS","series-title":"HSCC '16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/2883817.2883834","article-title":"SCOTS: A Tool for the Synthesis of Symbolic Controllers","volume-title":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","author":"Rungger","year":"2016"},{"key":"CUDDLIBMANUAL","volume-title":"CUDD: CU Decision Diagram Package","author":"Somenzi","year":"2015"},{"key":"PTabuadaVCHSSymbolic","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and control of hybrid systems, A symbolic approach","author":"Tabuada","year":"2009"},{"key":"WThomasSynthesisStrategiesinfGames","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-59042-0_57","article-title":"On the synthesis of strategies in infinite games","volume-title":"12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95)","author":"Thomas","year":"1995"},{"key":"FSMFormat","article-title":"A short note on the FSM data format","author":"TU\/e Technische Universiteit Eindhoven"},{"issue":"6","key":"WouwetalDiscStabilNCS","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1016\/j.automatica.2012.03.005","article-title":"A discrete-time framework for stability analysis of nonlinear networked control systems","volume":"48","author":"van de Wouw","year":"2012","journal-title":"Automatica"},{"key":"zamani","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2017.2739645","article-title":"Symbolic Abstractions of Networked Control Systems","author":"Zamani","year":"accepted, to appear","journal-title":"IEEE Transactions on Control of Network Systems"},{"key":"MZamanietalSCFiniteAbsNCS","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/CDC.2014.7039365","article-title":"Finite abstractions of networked control systems","volume-title":"53rd IEEE Conference on Decision and Control","author":"Zamani","year":"2014"},{"issue":"7","key":"MZamanietalSCNonlinNoStabilAssump","doi-asserted-by":"publisher","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 Transactions on Automatic Control"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T05:05:38Z","timestamp":1574226338000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1806.09849v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,25]]},"references-count":19,"URL":"https:\/\/doi.org\/10.4204\/eptcs.272.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,25]]}}}