Taxonomic Search: Calin Belta

7 results

Results

file

Visible to the public Efficient Traffic Management: A Formal Methods Approach

Abstract:

The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Abstract:

Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coor- dinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Abstract

Scientific challenges. How can multiple cyber-physical systems be enabled and coordinated to accomplish complex tasks in unknown and adversarial environments?