A Giotto-based helicopter control system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2491, Issue , 2002, Pages 46-60

  Kirsch, Christoph M ^a   Sanvido, Marco A A ^a   Henzinger, Thomas A ^a   Pree, Wolfgang ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF SALZBURG   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

AIR NAVIGATION; AIRCRAFT CONTROL; AUTOMATIC PROGRAMMING; COMPUTER SOFTWARE REUSABILITY; CONTROL THEORY; EMBEDDED SOFTWARE; FLIGHT CONTROL SYSTEMS; LEGACY SYSTEMS;

AUTOMATIC GENERATION; HELICOPTER PLATFORM; PHYSICAL ENVIRONMENTS; PLATFORM INDEPENDENT; REAL TIME REQUIREMENT; REUSABLE COMPONENTS; SOFTWARE DEVELOPMENT PROCESS; SOFTWARE FUNCTIONALITY;

SOFTWARE DESIGN;

EID: 84948965428     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45828-x_5     Document Type: Conference Paper

References (19)

1. J. Chapuis, C. Eck, M. Kottmann, M. Sanvido, and O. Tanner. Control of helicopters. In Control of Complex Systems, pages 359–392. Springer Verlag, 1999.
2. C. Eck. Navigation Algorithms with Applications to Unmanned Helicopters. PhD thesis 14402, ETH Zürich, 2001.
3. T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: a time-triggered language for embedded programming. In Proc. First InternationalWorkshop on Embedded Software (EMSOFT), LNCS 2211, pages 166–184. Springer Verlag, 2001.
4. T.A. Henzinger and C.M. Kirsch. The Embedded Machine: predictable, portable real-time code. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 315–326. ACM Press, 2002.
5. T.A. Henzinger, C.M. Kirsch, R. Majumdar, and S. Matic. Time safety checking for embedded programs. In Proc. Second International Workshop on Embedded Software (EMSOFT), LNCS. Springer Verlag, 2002.
6. D.J. McConnel, B. Lewis, and L. Gray. Reengineering a single-threaded embedded missile application onto a parallel processing platform using MetaH. Real-Time Systems, 14:7–20, 1998.
7. M. Sanvido. A Computer System for Model Helicopter Flight Control; Technical Memo 3: The Software Core. Technical Report 317, Institute for Computer Systems, ETH Zürich, 1999.
8. L. Wills, S. Kannan, S. Sander, M. Guler, B. Heck, V.D. Prasad, D. Schrage, and G. Vachtsevanos. An open platform for reconfigurable control. IEEE Control Systems Magazine, 21:49–64, 2001.
9. N. Wirth. A Computer System for Model Helicopter Flight Control; Technical Memo 6: The Oberon Compiler for the StrongARM Processor. Technical Report 314, Institute for Computer Systems, ETH Zürich, 1999.
10. N. Wirth and J. Gutknecht. Projekt Oberon: The Design of an Operating System and Compiler. ACM Press, 1992.
11. http://www.cs.cmu.edu/afs/cs/project/chopper/www/heli_project.html. The Robotics Institute, Carnegie Mellon University.
12. http://controls.ae.gatech.edu/labs/uavrf/. The UAV Lab, Georgia Institute of Technology.
13. Aerial Robotics. http://gewurtz.mit.edu/research/heli.htm. Laboratory for Information and Decision Systems, Massachusetts Institute of Technology.
14. Autonomous Flying Vehicles. http://www-robotics.usc.edu/˜avatar. Robotics Research Laboratory, University of Southern California.
15. Autonomous Helicopter Project. http://www.heli.ethz.ch. Measurement and Control Laboratory, ETH Zürich.
16. BEAR: Berkeley Aerobot. http://robotics.eecs.berkeley.edu/bear. Electronic Research Laboratory, University of California at Berkeley.
17. The Hummingbird Helicopter. http://sun-valley.stanford.edu/˜heli. Aerospace Robotics Laboratory, Stanford University.
18. Marvin. http://pdv.cs.tu-berlin.de/MARVIN. Institute for Technical Computer Science, Technische Universität Berlin.
19. OSEKWorks Operating System. http://www.windriver.com/products/html/osekworks.html WindRiver.