{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T16:29:32Z","timestamp":1648657772901},"reference-count":0,"publisher":"Walter de Gruyter GmbH","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,2,28]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>The article addresses the semi-formal verification of behavioral specifications for subsystems consisting of physical\nparts and controllers, complemented by simulation-based integration testing. Since design errors in early phases tend to\nbe particularly expensive, the method is tailored towards applicability in these phases. We verify behavioral\nspecifications with proof-like credibility, or falsify them while providing a violation scenario that is reusable as\na test case. The system is represented as a mixed logical dynamical (MLD) system, and specifications are expressed by\na temporal logic with affine signal abstractions. The verification problem is converted into an equivalent mixed-integer\nlinear feasibility problem solved using off-the-shelf solvers. An example illustrates the effectiveness of the method.<\/jats:p>","DOI":"10.1515\/auto-2015-0067","type":"journal-article","created":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T10:02:03Z","timestamp":1486461723000},"page":"115-123","source":"Crossref","is-referenced-by-count":1,"title":["Semi-formal verification of closed-loop specifications in the concept design phase"],"prefix":"10.1515","volume":"65","author":[{"given":"Jan H.","family":"Richter","sequence":"first","affiliation":[{"name":"Siemens AG, Digital Factory Division, Gleiwitzer Str. 555, 90475 N\u00fcrnberg Germany"}]},{"given":"Stefan R.","family":"Friedrich","sequence":"additional","affiliation":[{"name":"Chair of Automatic Control Engineering, Technical University of Munich (TUM), Munich Germany"}]}],"member":"374","published-online":{"date-parts":[[2017,2,7]]},"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.degruyter.com\/view\/j\/auto.2017.65.issue-2\/auto-2015-0067\/auto-2015-0067.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2015-0067\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2015-0067\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T16:01:00Z","timestamp":1624291260000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2015-0067\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,7]]},"references-count":0,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2017,2,7]]},"published-print":{"date-parts":[[2017,2,28]]}},"alternative-id":["10.1515\/auto-2015-0067"],"URL":"https:\/\/doi.org\/10.1515\/auto-2015-0067","relation":{},"ISSN":["0178-2312","2196-677X"],"issn-type":[{"value":"0178-2312","type":"print"},{"value":"2196-677X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,7]]}}}