Major challenges faced by connected intelligent vehicles, particularly autonomous vehicles, include complexity, dynamics, concurrency, timing, safety, security, and reliability. Among them, the complexity is the key factor for vehicle design. Cyber-physical systems (CPSs) are systems consisting of computational components and physical elements. In this paper a declarative CPS modeling framework is proposed such that autonomous vehicles can be articulately modeled to effectively overcome above challenges. A CPS is made up of sensing units in physical environment that input physical signals to control units, actuation units that alter the physical environment, and control units that sends optimized control signals to actuation units. The declarative CPS model can be used to unify the design of both cyber and physical components. This paper also compares the performance of two implementations of CPS sensing and actuation units: one using declarative networking, the other using imperative networking.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Declarative cyber physical systems modeling to facilitate autonomous vehicles design


    Contributors:


    Publication date :

    2015-10-01


    Size :

    292026 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English






    Intelligent cyber-physical systems for autonomous transportation

    Garg, Sahil ;Aujla, Gagangeet Singh ;Kaur, Kuljeet | TIBKAT | 2022


    The Role of Cyber-Physical Systems in Revolutionizing Transportation: From Connected Cars to Autonomous Vehicles

    Frank, Anilloy Augustine / Agarwal, Trapty / Sharma, Divya et al. | IEEE | 2025