Platform-based embedded software design and system integration for autonomous vehicles
暂无分享,去创建一个
Alberto L. Sangiovanni-Vincentelli | S. Shankar Sastry | Judith Liebman | Benjamin Horowitz | Cedric Ma | Tak-John Koo | A. Sangiovanni-Vincentelli | S. Sastry | T. Koo | Benjamin Horowitz | Judith Liebman | Cedric Ma
[1] Thomas A. Henzinger,et al. Time-Safety Checking for Embedded Programs , 2002, EMSOFT.
[2] Christoph M. Kirsch. The Embedded Machine , 2001 .
[3] Hermann Kopetz,et al. Real-time systems , 2018, CSC '73.
[4] Thomas A. Henzinger,et al. A Giotto-Based Helicopter Control System , 2002, EMSOFT.
[5] Zhen Li,et al. HARDWARE-IN-THE-LOOP SIMULATION , 2004 .
[6] H. Shim,et al. A comprehensive study of control design for an autonomous helicopter , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[7] M. Bacic,et al. On hardware-in-the-loop simulation , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[8] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[9] Thomas A. Henzinger,et al. Embedded Control Systems Development with Giotto , 2001, OM '01.
[10] S. Shankar Sastry,et al. HIERARCHICAL CONTROL SYSTEM SYNTHESIS FOR ROTORCRAFT-BASED UNMANNED AERIAL VEHICLES , 2000 .
[11] S. Shankar Sastry,et al. Hybrid system design and embedded controller synthesis for multi-modal control , 2000 .
[12] Richard M. Murray,et al. A Mathematical Introduction to Robotic Manipulation , 1994 .
[13] Jane W.-S. Liu,et al. Methods for validating real-time constraints , 1995, J. Syst. Softw..
[14] Maryline Chetto,et al. Dynamic scheduling of real-time tasks under precedence constraints , 1990, Real-Time Systems.
[15] Jacek Blazewicz,et al. Scheduling Dependent Tasks with Different Arrival Times to Meet Deadlines , 1976, Performance.
[16] S. Sastry,et al. Output tracking control design of a helicopter model based on approximate linearization , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[17] S. Shankar Sastry,et al. Mode Switching Synthesis for Reachability Specifications , 2001, HSCC.
[18] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.
[19] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..