Alessandro Petriccone

Learn More
In an Air Traffic Management context possible catastrophic events can take place because of an error of a single agent, e.g. pilot or flight controller, involved in a procedure such as landing sequence. In this paper we provide a mathematical framework based on hybrid systems theory for formal modeling of air traffic management applications. This framework(More)
In Air Traffic Management (ATM) systems, catastrophic events are often caused by errors made by agents operating in the procedures. Detecting safety critical situations that may arise in the evolution of ATM systems is of primary importance in the analysis of their behavior. The inherent complexity of ATM systems, typically involving a large number of(More)
  • 1