Recently, designs for the automated highway systems (AHS) to improve the safety and efficiency of highways have attracted much attention. However, such large-scale and complex dynamic systems present a number of control issues. Part of the complication comes from the hybrid nature of these systems, which consists of both time-driven and event-driven dynamics. In this paper, an object-oriented representation towards a hybrid controller design for automated vehicles in an AHS is proposed. The traditional discrete statechart of unified modelling language is extended to model the continuous dynamics of hybrid controllers in a hierarchical and natural representation. The proposed modelling approach provides a clear and natural representation of the interaction between the discrete and continuous behaviours.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Automated statechart model checking

    Mikk, E. / Pingree, P. J. | NTRS | 2002


    Statechart testing method for aircraft control systems

    Bogdanov, K. / Holcombe, M. | Tema Archive | 2001



    Formal models of UML statechart diagrams based on Petri nets

    Feng, G. / Shuzhen, Y. | British Library Online Contents | 2007