In this article, we have illustrated the application of a formal hybrid control approach to design semiautonomous multivehicle systems that are guaranteed to be safe. Our experimental results illustrate that, in a structured task, such as driving, simple human-decision models can be effectively learned and employed in a feedback control system that enforces a safety specification. They also highlight how the incorporation of these models in a safety control system makes the control actions required for safety less conservative. In fact, by virtue of the mode estimate, the current (mode-dependent) capture set to avoid guaranteeing safety is considerably smaller than the capture set to be avoided when the mode estimate is not available. This is essential for the practical applicability of cooperative active safety systems. In our data set, the flow entered the capture set only 3% times. These failures are mainly due to communication delays between the vehicles and the workstation. These delays, when significant, cause the calculated capture set to be different from the actual one and hence may cause to enforce control too late. These delays, in future work, should be formally accounted for in the models and in the safety control algorithm. More complex models of human decisions in the proximity of an intersection and the incorporation of additional details, such as weather conditions and road geometry, offer the potential for reducing the conservatism of safe control actions even further. Future work will also consider the extension to the case in which vehicles are not known to evolve on a fixed route. This case will be handled by keeping track of routes that are compatible with the position and speed of the vehicle and by progressively eliminating those that become incompatible. The models considered here are deterministic because most of the tools currently available to perform safety control have assumed deterministic models, wherein uncertainty is bounded. However, human decision models are more naturally captured by stochastic frameworks, in which uncertainty due to variability in both subjects and realizations of the same decision is probabilistic. As results in stochastic safety verification and design become available, it will be important to extend the proposed techniques of this article to safety control of stochastic hybrid automata in which the mode estimate is constructed probabilistically.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Semiautonomous multivehicle safety


    Contributors:
    Verma, R. (author) / Vecchio, D.D. (author)

    Published in:

    Publication date :

    2011


    Size :

    11 Seiten, 41 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    SEMIAUTONOMOUS VEHICLE AND METHOD FOR CONTROLLING SEMIAUTONOMOUS VEHICLE

    STEFANO DI CAIRANO / LAN XIAODONG | European Patent Office | 2017

    Free access

    Experimental Semiautonomous Vehicle

    Wilcox, Brian H. / Mishkin, Andrew H. / Litwin, Todd E. et al. | NTRS | 1993


    Semiautonomous vehicle control system

    LEVASSEUR TELLIS / SARRA AWAD YAKO / GERALD H ENGELMAN | European Patent Office | 2018

    Free access

    SEMIAUTONOMOUS VEHICLE CONTROL SYSTEM

    TELLIS LEVASSEUR / YAKO SARRA AWAD / ENGELMAN GERALD H | European Patent Office | 2018

    Free access

    Semiautonomous apparatus and system of distribution of edible products including said semiautonomous apparatus

    NABEIRO RUI MIGUEL / MEDINA MUNDT JESÚS / DE JESUS ESTIMA JOSÉ MIGUEL et al. | European Patent Office | 2023

    Free access