Seminars

you must be logged-in to have full access to seminar attachments

Esame corso di Automi Ibridi

Date: 
13 December, 2012 - 15:00 - 16:00
Location: 
Aula Multimediale
Description
Abstract: 

L'esame del corso consiste nella presentazione dell'articolo:

Tomlin, C., Pappas, G. J., Sastry, S. 1998. Conflict resolution for air traffic management: a study in multiagent hybrid system. IEEE Transactions on automatic control 43 (4), 509-521.

Abstract: Air Traffic Management (ATM) of the future allows for the possibility of free flight, in which aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of trajectory conflicts between aircraft is necessary to the success of such a distributed control system. In this paper, we present a method to synthesize provably safe conflict resolution maneuvers. The method models the aircraft and the maneuver as a hybrid control system and calculates the maximal set of safe initial conditions for each aircraft so that separation is assured in the presence of uncertainties in the actions of the other aircraft. Examples of maneuvers using both speed and heading changes are worked out in detail.

Seminars on the PhD School on Biology, Computation, and Information

Date: 
16 November, 2012 - 12:00 - 13:00
Location: 
Aula Multimediale DIMI
Description

Seminar for the course on Logic Programming, Knowledge Representation, and Non Monotonic Reasoning

Date: 
23 October, 2012 - 11:00 - 12:00
Location: 
Aula multimediale
Description
Abstract: 

The main aim of the Semantic Web is to add semantic to the Web contents, in order to make machine processable such information, overcoming current limitations. Semantic Web is based on a stack of standards and technologies: particularly relevant is the OWL layer and its two species, OWL DL and OWL Lite. In this presentation the description logic SHOIN, which is the logical underpinning of OWL DL, will be discuss, giving a brief overview about its syntax, its knowledge base axioms, and its semantic. Finally a reasoning framework build on top of existing reasoners for answer set programming resp. Description logics (dl-programs/owl ontologies) will be briefly described and show in action.

Seminars on the PhD School on Biology, Computation, and Information

Date: 
11 October, 2012 - 14:30 - 15:30
Location: 
Aula multimediale
Description
Syndicate content