1: \begin{abstract}                          % Abstract of not more than 200 words.

2: 		We study how to design a secure observer-based distributed controller 	such 	that  a group of vehicles   can achieve accurate state estimates and formation control even if the measurements of a  subset of   vehicle sensors are  compromised by a malicious attacker.	

3: 		We propose an architecture  consisting of a resilient observer, an  attack detector, and an observer-based distributed controller.

4: 		The distributed detector is able to update three  sets of vehicle sensors: the ones surely under attack, surely attack-free, and suspected to be under attack.		   

5: 		The adaptive observer saturates the measurement innovation through a preset static or time-varying threshold, such that the potentially compromised measurements have limited influence on the estimation.  

6: 		Essential properties of the proposed architecture include: 

7: 		1) The detector is fault-free, and  the attacked and attack-free vehicle sensors can be identified in finite time;		 

8: 		2) The observer   guarantees both real-time error bounds and asymptotic error bounds, with tighter bounds  when  more attacked or attack-free vehicle sensors are identified by the detector;

9: 		3) The  distributed controller ensures  closed-loop stability.

10: 		The effectiveness of the proposed methods is  evaluated through simulations by an application to vehicle platooning.

11: \end{abstract}

12: