The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Decentralized air traffic control is a concept of operations where air traffic control is decentralized to aircrafts and on board computers are used to assist and/or replace the pilots in deciding the route of the aircraft. In some experimental concepts, the full operation of the aircraft is delegated to on board computers. Such concepts can be accepted by the general population only if the computer systems used are extremely safe and this makes air traffic control a major domain of application for formal methods. The diversity problems in air traffic control leads to favor no particular type of formal methods but to use them all as different methods address different types of problems.