|
The autonomous vehicle control systems laboratory has been formed by a
merger of all research efforts on intelligent control systems for
autonomous vehicles developed at the University of Southampton.
This includes advanced guidance,
navigation and feedback control methods, agent based control with mission execution capabilities, formal verification of hardware and software systems,
fault tolerant and reconfigurable control, hybrid systems modelling and software engineering of intelligent vehicles
for practical engineering.
Methods implemented within the lab include:
- Belief-desire-intention
(BDI) agent specifications for engineering, (bi-simulation abstractions of
continuous processes, logic statements of behaviour constraints and
goals, multi-domain modelling, multi-resolution abstractions for
modelling, plan generation for an abstract goal, etc.)
- Rational
agent’s reasoning methods about space-time using temporal
logic (METATEM + automatic generation of abstractions for space time
relationships for goal achievement,
- Writing sEnglish papers/libraries on control and
perception techniques, natural language programming of agent interactions with the physical
world (http://en.wikipedia.org/wiki/Natural_language_programming)
and to discrete provide abstractions for actions.
- Model
checking methods (as in mathematical logic) for control
plan generation and actions, perception and data abstractions in
practical engineering
- Hybrid
systems verification methods of multi-agent systems in
engineering.
The purpose of the lab is to provide industry with the most
intelligent imbedded controllers.
See also in the news and recent video (zipped MP4 for RealPlayer)
and use the menu bar on the left
for overview of Projects,
Facilities, People, Collaboration, Publications and Lab Videos.
Number of visitors
since 1.5.2010:
|
