|# of variables||# of modes||# of jumps|
|Type||Continuous dynamics||Guards & Invariants||Resets|
We consider the platoon of vehicles guided by a leader illustrated in Fig.1.
The spacing error is defined as the difference between the distance of the truck to its predecessor and a reference distance .
The goal of the reachability analysis for this system is to determine a lower bound for assuring collision-free driving.
where is a constant system matrix, is a constant input matrix and the acceleration of the leader considered here as an uncertain input [1,2].
The state vector is where is the acceleration of vehicle .
In case of no communication problems, these matrices are given as follows
In case of total disruption of the communication, the matrices describing the system are given by
The platoon is modelled as a hybrid automaton. Its continuous dynamics constitute thereby the continuous states. The communication breakdowns, however, trigger the discrete switches from one continuous state to another. We consider the following hybrid automata describing the worst case scenario of a hazard loss of communication between all members of the platoon.
Discrete switches can be modelled as spontaneous, true or guard free transitions (Fig.2(a)) . Otherwise, a clock can be added making therefore the switching dependent on time (Fig.2(b)).
Alternatively, switching can be forced if the algorithm computing the reachable set attains a fix point. That corresponds, in this context, to an invariant reachable set. Simulations during the control design help to determine the time horizon after which the controlled system reaches a stable state. For our case study, we have .
In this example, the sets and corresponding respectively to the state space domains of the continuous states and are taken, for this particular application, equal to . Otherwise the user is free to make a different but suitable choice. Furthermore, the decision on the values of the time constants and of the hybrid model in Fig.2(b) is also left to the user.
The initial set is specified by
- The uncertain input for this setup was set to
The initial location is and the time horizon is set to . The set of bad states are the states where .
 I. Ben Makhlouf, J.P. Maschuw, P. Hänsch, H. Diab, S. Kowalewskiand, D. Abel. Safety Verification of a Cooperative Vehicle Platoon with Uncertain Inputs Using Zonotopes. In Proceedings of the 18th International Federation of Automatic Control World Congress (IFAC’11), pages 9769-9774, Elsevier, 2011.
 I. Ben Makhlouf, H. Diab, S. Kowalewski. Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes. In Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’12), pages 333-338, Elsevier, 2012.
 I. Ben Makhlouf, and P. Hänsch, S. Kowalewski. Comparison of Reachability Methods for Uncertain Linear Time-Invariant Systems. In Proceedings of the European Control Conference 2013 (ECC’13), pages 1101- 1106, IEEE, 2013.
 J.P. Maschuw. Platoon Control and Reconfiguration Based on Linear Matrix Inequalities. In Fortschritt-Berichte VDI. Reihe 8, Mess-, Steuerungs- und Regelungstechnik, Volume 1216, VDI, 2012.
 J. Maschuw, D. Abel. Longitudinal vehicle guidance in networks with changing communication topology. In Proccedings of IFAC-Symposium Advances in Automotive Control (AAC’10), pages 785-790, Elsevier, 2010.
 J. Maschuw, G. Keler, D. Abel. LMI based control of vehicle platoons for robust longitudinal guidance. In IFAC World Congress, Volume 17, pages 12111-12116, Elsevier, 2008.