{"article_type":"original","citation":{"short":"T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.","ista":"Henzinger TA, Kirsch C, Sanvido M, Pree W. 2003. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 23(1), 50–64.","apa":"Henzinger, T. A., Kirsch, C., Sanvido, M., &#38; Pree, W. (2003). From control models to real-time code using Giotto. <i>IEEE Control Systems Magazine</i>. IEEE. <a href=\"https://doi.org/10.1109/MCS.2003.1172829\">https://doi.org/10.1109/MCS.2003.1172829</a>","chicago":"Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” <i>IEEE Control Systems Magazine</i>. IEEE, 2003. <a href=\"https://doi.org/10.1109/MCS.2003.1172829\">https://doi.org/10.1109/MCS.2003.1172829</a>.","ama":"Henzinger TA, Kirsch C, Sanvido M, Pree W. From control models to real-time code using Giotto. <i>IEEE Control Systems Magazine</i>. 2003;23(1):50-64. doi:<a href=\"https://doi.org/10.1109/MCS.2003.1172829\">10.1109/MCS.2003.1172829</a>","ieee":"T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” <i>IEEE Control Systems Magazine</i>, vol. 23, no. 1. IEEE, pp. 50–64, 2003.","mla":"Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” <i>IEEE Control Systems Magazine</i>, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:<a href=\"https://doi.org/10.1109/MCS.2003.1172829\">10.1109/MCS.2003.1172829</a>."},"_id":"4468","language":[{"iso":"eng"}],"author":[{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"last_name":"Kirsch","first_name":"Christoph","full_name":"Kirsch, Christoph"},{"full_name":"Sanvido, Marco","first_name":"Marco","last_name":"Sanvido"},{"full_name":"Pree, Wolfgang","first_name":"Wolfgang","last_name":"Pree"}],"publication":"IEEE Control Systems Magazine","page":"50 - 64","doi":"10.1109/MCS.2003.1172829","publication_identifier":{"issn":["1066-033X "]},"acknowledgement":"We thank Niklaus Wirth and Walter Schaufelberger for their advice and support of the reengineering effort of the ETH Zurich helicopter control system using Giotto. This research was supported in part by DARPA SEC grant F33615-C-98–3614, MARCO GSRC grant 98-DT-660, and AFOSR MURI grant F49620–00-1–0327. A preliminary version of this article appeared as [1].","publist_id":"260","volume":23,"intvolume":"        23","year":"2003","issue":"1","extern":"1","publication_status":"published","date_published":"2003-01-29T00:00:00Z","abstract":[{"text":"Giotto is a high-level programming language for time-triggered control applications. The authors begin with a conceptual overview of its methodology, discuss the Giotto helicopter project, and summarize available Giotto implementations.","lang":"eng"}],"day":"29","type":"journal_article","date_updated":"2024-01-08T10:54:53Z","month":"01","article_processing_charge":"No","status":"public","title":"From control models to real-time code using Giotto","quality_controlled":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_created":"2018-12-11T12:09:00Z","oa_version":"None","scopus_import":"1","publisher":"IEEE"}