Adaptive Formation Control of Cooperative Multi-Vehicle Systems

The literature comprises many approaches and results for the formation control of multi-vehicle systems; however, the results established for the cases where the vehicles contain parametric uncertainties are limited. Motivated by the need for explicit characterization of the effects of uncertainties on multi-vehicle formation motions, we study distributed adaptive formation control of multi-vehicle systems in this thesis, focusing on different interrelated sub-objectives. We first examine the cohesive motion control problem of minimally persistent formations of autonomous vehicles. Later, we consider parametric uncertainties in vehicle dynamics in such autonomous vehicle formations. Following an indirect adaptive control approach and exploiting the features of the certainty equivalence principle, we propose control laws to solve maneuvering problem of the formations, robust to parametric modeling uncertainties. Next, as a formation acquisition/closing ranks problem, we study the adaptive station keeping problem, which is defined as positioning an autonomous mobile vehicle $A$ inside a multi-vehicle network, having specified distances from the existing vehicles of the network. In this setting, a single-integrator model is assumed for the kinematics for the vehicle $A$, and $A$ is assumed to have access to only its own position and its continuous distance measurements to the vehicles of the network. We partition the problem into two sub-problems; localization of the existing vehicles of the network using range-only measurements and motion control of $A$ to its desired location within the network with respect to other vehicles. We design an indirect adaptive control scheme, provide formal stability and convergence analysis and numerical simulation results, demonstrating the characteristics and performance of the design. Finally, we study re-design of the proposed station keeping scheme for the more challenging case where the vehicle $A$ has non-holonomic motion dynamics and does not have access to its self-location information. Overall, the thesis comprises methods and solutions to four correlated formation control problems in the direction of achieving a unified distributed adaptive formation control framework for multi-vehicle systems

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Computer Aided Verification

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Computer Aided Verification

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic