{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:51:46Z","timestamp":1761562306790,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115705","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"919-924","source":"Crossref","is-referenced-by-count":5,"title":["DSSynth: An automated digital controller synthesis tool for physical plants"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[]},{"given":"Iury","family":"Bessa","sequence":"additional","affiliation":[]},{"given":"Dario","family":"Cattaruzza","sequence":"additional","affiliation":[]},{"given":"Lennon","family":"Chaves","sequence":"additional","affiliation":[]},{"given":"Lucas","family":"Cordeiro","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"David","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Kesseli","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[]},{"given":"Elizabeth","family":"Polgreen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","article-title":"DSValidator: An automated counterexample reproducibility tool for digital systems (tool demonstration)","author":"chaves","year":"2016","journal-title":"CoRR vol abs\/1610 07066"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.229.13"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48899-7_34"},{"journal-title":"Matlab Toolbox","article-title":"MathWorks","year":"0","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098228"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2601328"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-016-9173-5"},{"journal-title":"Control system tuner","article-title":"MathWorks","year":"0","key":"ref16"},{"key":"ref17","volume":"4","author":"moore","year":"1966","journal-title":"Interval Analysis"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48288-9_18"},{"key":"ref19","first-page":"168","article-title":"A tool for checking ANSI-C programs","volume":"2988","author":"clarke","year":"2004","journal-title":"TACAS Ser LNCS"},{"journal-title":"Control Tutorials for Matlab and Simulink","year":"0","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1051\/matecconf\/20164102004"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CENCON.2015.7409511"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968485"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0265-6","author":"istepanian","year":"2001","journal-title":"Digital Controller Implementation and Fragility A Modern Perspective"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-5188-3","author":"toscano","year":"2013","journal-title":"Structured Controllers for Uncertain Systems A Stochastic Optimization Approach ser Advances in Industrial Control"},{"journal-title":"Linear Systems Non-Fragile Control and Filtering","year":"2013","author":"guang-hong","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_23"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049802"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"journal-title":"Computer-controlled Systems (3rd Ed ) ser Prentice Hall information and system sciences series Upper Saddle River","year":"1997","author":"\u00e5str\u00f6m","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302409"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/87.826795"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/37.341864"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1201\/b15929","author":"gajic","year":"2008","journal-title":"Optimal Control Weakly Coupled Systems and Applications"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(80)90083-7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/13.804538"},{"journal-title":"Feedback Control of Dynamic Systems","year":"2015","author":"franklin","key":"ref25"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115705.pdf?arnumber=8115705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T14:31:34Z","timestamp":1570372294000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115705\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115705","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}