The design of safe control laws for normal mode regulation layer maneuvers of the automated highway system (AHS) hierarchical architecture in the California PATH program is addressed. Safety is equated to the absence of vehicle collisions at any speed. It is shown that it is possible to design safe control laws that keep the state of the platoons inside a state dependent safety region for all state transitions of the coordination layer finite state machines. This design allows the complete decoupled verification of the hybrid system composed by the normal mode regulation and coordination layers.
No takes yet. Share an insight, caveat, or question.
Álvarez et al. (1997) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: