{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:02:45Z","timestamp":1761487365759},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2004.1400740","type":"proceedings-article","created":{"date-parts":[[2005,3,31]],"date-time":"2005-03-31T18:26:51Z","timestamp":1112293611000},"page":"2707-2712","source":"Crossref","is-referenced-by-count":6,"title":["An internet based laboratory for control of a safety critical system"],"prefix":"10.1109","volume":"3","author":[{"given":"M.","family":"Ishutkina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Feron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Casini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Vicino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2002.808224"},{"key":"2","first-page":"3985","article-title":"Interactive control education with virtual presence on the web","author":"apkarian","year":"2000","journal-title":"Proc Amer Contr Conf"},{"journal-title":"Optimal Control Linear Quadratic Methods","year":"1990","author":"anderson","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1013639"},{"journal-title":"Design and Implementation of A Supervisory Safety Controller for A 3DOF Helicopter","year":"2004","author":"ishutkina","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912884"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.945878"},{"journal-title":"An Introduction to Human Factors Engineering","year":"1998","author":"wickens","key":"9"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36580-X_26","article-title":"Safety verification of model helicopter controller using hybrid input\/output automata","author":"mitra","year":"2003","journal-title":"Proc Hybrid System Computation Control"}],"event":{"name":"2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)","acronym":"ICSMC-04","location":"The Hague, Netherlands"},"container-title":["2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9622\/30423\/01400740.pdf?arnumber=1400740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T05:05:30Z","timestamp":1549602330000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1400740\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2004.1400740","relation":{},"subject":[]}}