Citation
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee. "Modeling and Analyzing Air Traffic Control Systems using Ptolemy". Talk or presentation, 16, October, 2015; Poster presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.

Abstract
Air Traffic Control system (ATC) is a Safety Critical Cyber Physical System where the people in charge are constantly dealing with various kinds of changes in the environment and the system, like unpredicted changes in the weather or changes in the flight schedules. ATC has been modeled using Ptolemy to check the safety properties and analyze different rerouting policies to find a safe and more efficient rerouting policy.

Electronic downloads

• ATC-PtolemyPoster-Final.pdf · application/pdf · 218 kbytes

• HTML

  Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges
  Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/1144.html"
  ><i>Modeling and Analyzing Air Traffic Control
  Systems using Ptolemy</i></a>, Talk or
  presentation,  16, October, 2015; 
  Poster presented at the
  <a 
  href="http://ptolemy.eecs.berkeley.edu/conferences/15/">Eleventh
  
  Biennial Ptolemy Miniconference</a>, Berkeley.

• Plain text

  Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges
  Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee.
  "Modeling and Analyzing Air Traffic Control Systems
  using Ptolemy". Talk or presentation,  16, October,
  2015; 
  Poster presented at the <a 
  href="http://ptolemy.eecs.berkeley.edu/conferences/15/">Eleventh
  
  Biennial Ptolemy Miniconference</a>, Berkeley.

• BibTeX

  @presentation{BagheriAkkayaKhamespanahKhakpourSirjaniMovagharLee15_ModelingAnalyzingAirTrafficControlSystemsUsingPtolemy,
      author = {Maryam Bagheri and Ilge Akkaya and Ehsan
                Khamespanah and Narges Khakpour and Marjan Sirjani
                and Ali Movaghar and Edward A. Lee},
      title = {Modeling and Analyzing Air Traffic Control Systems
                using Ptolemy},
      day = {16},
      month = {October},
      year = {2015},
      note = {
  Poster presented at the <a 
                href="http://ptolemy.eecs.berkeley.edu/conferences/15/">Eleventh
                
  Biennial Ptolemy Miniconference</a>, Berkeley},
      abstract = {Air Traffic Control system (ATC) is a Safety
                Critical Cyber Physical System where the people in
                charge are constantly dealing with various kinds
                of changes in the environment and the system, like
                unpredicted changes in the weather or changes in
                the flight schedules. ATC has	been	modeled	using	
                Ptolemy to	check	the	safety	
                properties	and	analyze	
                different	rerouting	policies	to
                find	a	safe	and	more	efficient	rerouting	policy.	},
      URL = {http://chess.eecs.berkeley.edu/pubs/1144.html}
  }
  

Posted by Ilge Akkaya on 22 Oct 2015.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.