41 research outputs found

    Four Decades of Mizar

    Get PDF

    Tarski's geometry modelled in Mizar computerized proof assistant

    Full text link

    A Review of Traffic Signal Control.

    Get PDF
    The aim of this paper is to provide a starting point for the future research within the SERC sponsored project "Gating and Traffic Control: The Application of State Space Control Theory". It will provide an introduction to State Space Control Theory, State Space applications in transportation in general, an in-depth review of congestion control (specifically traffic signal control in congested situations), a review of theoretical works, a review of existing systems and will conclude with recommendations for the research to be undertaken within this project
    corecore