STINT Initiation Grant on Runtime Verification for Autonomous Systems
Apr 2019 - Mar 2020
Funded by STINT:
The Swedish Foundation for International Cooperation in Research and Higher
Education.
Partners:
Department of
Computer Science and Engineering, University of Gothenburg (GU),
Sweden
Department of Computer Science, Universidad de Buenos Aires (UBA), Argentina.
PI GU:
Gerardo Schneider
PI UBA:
Sebastián Uchitel
Participants:
GU / Chalmers:
Gerardo Schneider,
Alejandro Russo
UBA:
Sebastián Uchitel, Diego Garbervetsky, Sebastián Zudaire
============================================
SHORT DESCRIPTION
============================================
We are witnessing tremendous advances in research on data acquisition, machine learning, artificial intelligence,
embedded systems, formal methods, robotics and control theory, which together have led to the emergence of Autonomous
Cyber-Physical Systems (ACPS). ACPS consist of smart and collaborative computational entities that are tightly interacting
with physical components through sensors and actuators and that are able to accomplish tasks independently, or with
minimal supervision from humans in complex and unpredictable environments. Unmanned Aerial Vehicle (UAV) is a special
type of ACPS used for instance for land recognition in rural areas.
We are interested in building a UAV on a fixed wing airplane based on an architecture using Discrete Event Control. We will
build upon a declarative mission specification (e.g., search and rescue/follow, surveillance) of a controller that runs on the
plan and interacts with lower software layers that takes high-level
commands in an interactive and flexible manner.
Our main aim is to solve the above problem technically, and promote the dissemination of knowledge through seminars for
graduated students in the form of PhD courses as well as open
presentations for a more general public.