{"acknowledgement":"Research supported in part by DARPA under contract no.F33615-98-C-3614, Software Enabled Control, administered by\r\nAFRL, Dayton OH.","publist_id":"306","volume":15,"intvolume":"        15","year":"2002","conference":{"location":"Barcelona, Spain","end_date":"2002-07-26","start_date":"2002-07-21","name":"IFAC: World Congress on Automatic Control"},"citation":{"mla":"Horowitz, Benjamin, et al. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.” <i>Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control</i>, vol. 15, no. 1, Elsevier, 2002, doi:<a href=\"https://doi.org/10.3182/20020721-6-ES-1901.01628\">10.3182/20020721-6-ES-1901.01628</a>.","ieee":"B. Horowitz <i>et al.</i>, “Embedded software design and system integration for rotorcraft UAV using platforms,” in <i>Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control</i>, Barcelona, Spain, 2002, vol. 15, no. 1.","chicago":"Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.” In <i>Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control</i>, Vol. 15. Elsevier, 2002. <a href=\"https://doi.org/10.3182/20020721-6-ES-1901.01628\">https://doi.org/10.3182/20020721-6-ES-1901.01628</a>.","apa":"Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Henzinger, T. A., Sangiovanni Vincentelli, A., &#38; Sastry, S. (2002). Embedded software design and system integration for rotorcraft UAV using platforms. In <i>Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control</i> (Vol. 15). Barcelona, Spain: Elsevier. <a href=\"https://doi.org/10.3182/20020721-6-ES-1901.01628\">https://doi.org/10.3182/20020721-6-ES-1901.01628</a>","ista":"Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. IFAC: World Congress on Automatic Control vol. 15.","ama":"Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration for rotorcraft UAV using platforms. In: <i>Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control</i>. Vol 15. Elsevier; 2002. doi:<a href=\"https://doi.org/10.3182/20020721-6-ES-1901.01628\">10.3182/20020721-6-ES-1901.01628</a>","short":"B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni Vincentelli, S. Sastry, in:, Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Elsevier, 2002."},"language":[{"iso":"eng"}],"_id":"4423","doi":"10.3182/20020721-6-ES-1901.01628","publication":"Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control","author":[{"full_name":"Horowitz, Benjamin","first_name":"Benjamin","last_name":"Horowitz"},{"full_name":"Liebman, Judith","last_name":"Liebman","first_name":"Judith"},{"first_name":"Cedric","last_name":"Ma","full_name":"Ma, Cedric"},{"last_name":"Koo","first_name":"T John","full_name":"Koo, T John"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"first_name":"Alberto","last_name":"Sangiovanni Vincentelli","full_name":"Sangiovanni Vincentelli, Alberto"},{"full_name":"Sastry, Shankar","last_name":"Sastry","first_name":"Shankar"}],"publication_identifier":{"issn":["1474-6670"]},"status":"public","quality_controlled":"1","title":"Embedded software design and system integration for rotorcraft UAV using platforms","date_created":"2018-12-11T12:08:47Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","scopus_import":"1","publisher":"Elsevier","issue":"1","extern":"1","publication_status":"published","date_published":"2002-07-01T00:00:00Z","abstract":[{"text":"Automation control systems typically incorporate legacy code and components that were originally designed to operate independently. Furthermore, they operate under stringent safety and timing constraints. Current design strategies deal with these requirements and characteristics with ad hoc approaches. In particular, when designing control laws, implementation constraints are often ignored or cursorily estimated. Indeed, costly redesigns are needed after a prototype of the control system is built due to missed timing constraints and subtle transient errors. In this paper, we use the concepts of platform-based design, and the Giotto programming language, to develop a methodology for the design of automation control systems that builds in modularity and correct-by-construction procedures. We illustrate our strategy by describing the (successful) application of the methodology to the design of a time-based control system for a rotorcraft Uninhabited Aerial Vehicle (UAV).","lang":"eng"}],"day":"01","type":"conference","date_updated":"2023-06-05T09:55:10Z","month":"07","article_processing_charge":"No"}