{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T14:25:16Z","timestamp":1774103116423,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4,12]]},"DOI":"10.1109\/dcps.2016.7588297","type":"proceedings-article","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T16:39:47Z","timestamp":1476722387000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Architecture for logic programing with arrangements of finite-state machines"],"prefix":"10.1109","author":[{"given":"Vladimir","family":"Estivill-Castro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rene","family":"Hexel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Ram\u0131rez Regalado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/70.143349"},{"key":"ref11","first-page":"99","article-title":"Teleo-reactive programs and the triple-tower architecture","volume":"5","author":"nilsson","year":"2001","journal-title":"Electron Trans Artif Intell"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-012-9350-2"},{"key":"ref13","first-page":"1325","article-title":"Should responsive systems be event-triggered or time-triggered?","volume":"76","author":"kopetz","year":"1993","journal-title":"IEICE Transactions on Information and Systems"},{"key":"ref14","author":"rumbaugh","year":"1991","journal-title":"Object-Oriented Modelling and Design"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1201\/b16463","author":"samek","year":"2008","journal-title":"Practical UML Statecharts in C\/C++ Second Edition Event-Driven Programming for Embedded Systems Newton"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.2000.891122"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.21"},{"key":"ref19","first-page":"65","article-title":"Efficient model checking and FMEA analysis with deterministic scheduling of transition-labeled finite-state machines","year":"2012","journal-title":"2012 3rd World Congress on Software Engineering (WCSE 2012)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913481635"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000470"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"ref6","article-title":"Design and implementation of a system for mutual knowledge among cognition-enabled robots","author":"palmia","year":"2013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"ref8","first-page":"225","article-title":"How to build complete creatures rather than isolated cognitive simulators","author":"brooks","year":"1991","journal-title":"Architectures for Intelligence K VanLehn"},{"key":"ref7","first-page":"1685","article-title":"Logic-based and robust desicion making for robots in real world","author":"fujita","year":"2014","journal-title":"Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems ser AAMAS 14 Richland SC International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23391-3_9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"ref1","article-title":"ROS: an open-source robot operating system","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref20","first-page":"218","article-title":"Module isolation for efficient model checking and its application to FMEA in model-driven engineering","author":"estivill-castro","year":"2013","journal-title":"ENASE 8th International Conference on Evaluation of Novel Approaches to Software Engineering"},{"key":"ref22","first-page":"204","article-title":"An implementation of propositional plausible logic","volume":"22","author":"rock","year":"2000","journal-title":"23rd Australasian Computer Science Conference (ACSC 2000) ser Australian Computer Science Communications J Edwards Ed"},{"key":"ref21","article-title":"Non-monotonic reasoning for localisation in robocup","author":"billington","year":"2005","journal-title":"Australasian Conference on Robotics and Automation"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S1042-8143(05)80017-2"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87803-2_5"},{"key":"ref26","author":"maier","year":"1988","journal-title":"Computing with Logic Logic Programming with Prolog"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"}],"event":{"name":"2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)","location":"Vienna","start":{"date-parts":[[2016,4,12]]},"end":{"date-parts":[[2016,4,12]]}},"container-title":["2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7587771\/7588293\/07588297.pdf?arnumber=7588297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,2]],"date-time":"2020-02-02T23:58:21Z","timestamp":1580687901000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7588297\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,12]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/dcps.2016.7588297","relation":{},"subject":[],"published":{"date-parts":[[2016,4,12]]}}}