A scenario- and platform-aware design flow for image-based control systems

Abstract Image-based control (IBC) systems are increasingly being used in various domains including autonomous driving. The key challenge in IBC is to deal with high computation demand while guaranteeing performance and safety requirements such as stability. While modern industrial heterogeneous platforms, such as NVIDIA Drive, offer the necessary compute power, application development on these platforms with performance and safety guarantees is still challenging. Alternative time-predictable platforms are not yet in widespread use. A typical design flow for IBC systems consists of three distinct elements: (i) mapping tasks onto platform resources; (ii) timing analysis, consisting of task-level worst-case execution time (WCET) analysis and application-level analysis to obtain worst-case performance bounds on aspects such as latency and throughput; (iii) controller design using the obtained performance bounds, ensuring performance and safety. While such a three-step design process is modular in nature, it usually leads to over-dimensioned systems with sub-optimal performance, because task- and/or application-level timing bounds are pessimistic. We present a scenario- and platform-aware design flow for IBC systems that exploits frequently occurring workload scenarios to optimize performance. For industrial platforms, where tight task-level WCET bounds are difficult to obtain, we moreover propose to use frequently occurring task execution times instead of WCET estimates to obtain tight application-level temporal bounds. During controller design, we then optimize performance and guarantee stability by identifying appropriate system scenarios and by designing a switched controller that switches between those scenarios. We illustrate our method considering a predictable multiprocessor system-on-chip platform - CompSOC. We validate the proposed method using hardware-in-the-loop (HiL) experiments with an industrial heterogeneous multiprocessor platform - NVIDIA Drive PX2 - considering a lane keeping assist system (LKAS). We obtain an improved control performance compared to state-of-the-art IBC design.

[1]  Naresh K. Sinha,et al.  Modern Control Systems , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[3]  Hermann Winner,et al.  Three Decades of Driver Assistance Systems: Review and Future Perspectives , 2014, IEEE Intelligent Transportation Systems Magazine.

[4]  Twan Basten,et al.  Scalable Analysis for Multi-Scale Dataflow Models , 2018, ACM Trans. Embed. Comput. Syst..

[5]  Narayanan Vijaykrishnan,et al.  Emulating Mammalian Vision on Reconfigurable Hardware , 2012, 2012 IEEE 20th International Symposium on Field-Programmable Custom Computing Machines.

[6]  Twan Basten,et al.  Designing image-based control systems considering workload variations , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[7]  Henk Corporaal,et al.  Symbolic analysis of dataflow applications mapped onto shared heterogeneous resources , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[8]  Olivier Michel,et al.  Cyberbotics Ltd. Webots™: Professional Mobile Robot Simulation , 2004 .

[9]  James U. Korein,et al.  Robotics , 2018, IBM Syst. J..

[10]  Suren Jayasuriya,et al.  Reconfiguring the Imaging Pipeline for Computer Vision , 2017, 2017 IEEE International Conference on Computer Vision (ICCV).

[11]  S. Stuijk Predictable mapping of streaming applications on multiprocessors , 2007 .

[12]  Kees G. W. Goossens,et al.  CoMPSoC: A template for composable and predictable multi-processor system on chips , 2009, TODE.

[13]  A. Sangiovanni-Vincentelli,et al.  Frankenstein : Contract-Based Design for Cyber-Physical Systems ∗ g , 2013 .

[14]  Yoichi Hori,et al.  Multirate Estimation and Control of Body Slip Angle for Electric Vehicles Based on Onboard Vision System , 2014, IEEE Transactions on Industrial Electronics.

[15]  van Horssen,et al.  Data-intensive feedback control : switched systems analysis and design , 2018 .

[16]  Twan Basten,et al.  Optimising Quality-of-Control for Data-Intensive Multiprocessor Image-Based Control Systems Considering Workload Variations , 2018, 2018 21st Euromicro Conference on Digital System Design (DSD).

[17]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[18]  Bernhard P. Wrobel,et al.  Multiple View Geometry in Computer Vision , 2001 .

[19]  Stephen A. Edwards,et al.  The Case for the Precision Timed (PRET) Machine , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[20]  K.-E. Arzen,et al.  An introduction to control and scheduling co-design , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[21]  Alan Burns,et al.  Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised , 2007, Real-Time Systems.

[22]  Sander Stuijk,et al.  SDF^3: SDF For Free , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

[23]  Alberto L. Sangiovanni-Vincentelli,et al.  Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.

[24]  M. Lévesque Perception , 1986, The Yale Journal of Biology and Medicine.

[25]  Marcelo H. Ang,et al.  Perception, Planning, Control, and Coordination for Autonomous Vehicles , 2017 .

[26]  Sander Stuijk,et al.  A scenario-aware data flow model for combined long-run average and worst-case performance analysis , 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

[27]  Sander Stuijk,et al.  Designing a Controller with Image-based Pipelined Sensing and Additive Uncertainties , 2019, ACM Trans. Cyber Phys. Syst..

[28]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[29]  Jana Kosecka,et al.  Vision-based lateral control of vehicles , 1997, Proceedings of Conference on Intelligent Transportation Systems.

[30]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[31]  P. Young,et al.  An approach to the linear multivariable servomechanism problem. , 1972 .

[32]  Sander Stuijk,et al.  A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour , 2010, DSD.

[33]  Warren E. Dixon,et al.  Compensating for time-varying input and state delays inherent to image-based control systems , 2016, 2016 American Control Conference (ACC).

[34]  Jos Elfring,et al.  Effective World Modeling: Multisensor Data Fusion Methodology for Automated Driving , 2016, Sensors.

[35]  K.-E. Arzen,et al.  How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.

[36]  Jayanta Mukherjee,et al.  A GPU based Real-Time CUDA implementation for obtaining Visual Saliency , 2014, ICVGIP.

[37]  Henk Corporaal,et al.  System-scenario-based design of dynamic embedded systems , 2009, TODE.

[38]  Twan Basten,et al.  Robustness analysis of multiprocessor schedules , 2014, 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV).

[39]  Selma Saidi,et al.  Future automotive systems design: research challenges and opportunities: special session , 2018, CODES+ISSS.

[40]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[41]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[42]  Gigel Macesanu,et al.  A Time-Delay Control Approach for a Stereo Vision Based Human-Machine Interaction System , 2014, J. Intell. Robotic Syst..

[43]  Ryo Kurazume,et al.  Robust visual servoing for object manipulation with large time-delays of visual information , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[44]  Ming Yang,et al.  Avoiding Pitfalls when Using NVIDIA GPUs for Real-Time Tasks in Autonomous Systems , 2018, ECRTS.

[45]  Henk Corporaal,et al.  Approximation Trade Offs in an Image-Based Control System , 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[46]  Chun Jason Xue,et al.  Multirate controller design for resource- and schedule-constrained automotive ECUs , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[47]  Karolin Papst,et al.  Stability Theory Of Switched Dynamical Systems , 2016 .

[48]  Hiroshi Fujimoto Visual servoing of 6 DOF manipulator by multirate control with depth identification , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[49]  Henk Corporaal,et al.  IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop System , 2019, 2019 8th Mediterranean Conference on Embedded Computing (MECO).

[50]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..