ATACCS'2012
2nd International Conference on Application and Theory of Automation in Command and Control Systems
Conference Program
Previous edition
Next edition
Associated event
Formal H is a workshop on Formal Methods in Human-Machine Interaction that will be held on May 28, 2012 at the Imperial College in London, right before the ATACCS 2012 conference. Further information on the web site: http://www.fmhfe.com/FormalH/
Sponsors
|
Conference ProgramFinal program available in PDF for download. KeynotesProf. R. John Hansman, Jr. Dr Aslaug Haraldsdottir Dr Anthony Smoker Research PapersA Taxonomy of UAS Separation Maneuvers and their Automated Execution. Advanced Sensing Issues for UAS Collision Avoidance. Air Traffic Flow Management Under Uncertainty: Application of Chance Constraints. An Overview of Airborne Time-Spacing Research in the JADE Program. Assessing the Air Traffic Control Safety Impact of Airline Pilot induced Latencies. Automated Speech Recognition in ATC environment. Efficient Conflict Resolution Method in Air Traffic Management Based on the Speed Assignment. Expectations from a Steering Control Transfer to Cockpit Crews for Aircraft Pushback. Formal Analysis of Safety-Critical System Simulations. Increasing Resilience of ATM Networks using Traffic Monitoring and Automated Anomaly Analysis. On Interfacing Multiobjective Optimisation Models - the Case of the Airport Gate Assignment Problem. Organizational and Inter-Organizational Precursors to Problematic Automation in Safety Critical Domains, A Case Study. Simulated Trajectories Generation. Pilot Interaction with TCAS and Air Traffic Control. Tradeoff between Optimum Altitude and Contrail Layer to Ensure Maximum Ecological En-Route Performance Using the Enhanced Trajectory Prediction Model (ETPM). Understanding Time-Drift for Different Aircraft Descent Guidance Strategies. Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability. PostersApplication of Automation in Education: Mixed Reality Education. Aircraft Continuous Climb/Descent Modelling Using Computer Based Tools. Complexity in Optimising ATM Performance MetricsSystems. Dialogue Management and Automation in Interaction with Unmanned Systems. Identification and initial characterization of sources of uncertainty affecting the performance of future Trajectory Management automation systems.
The Problem with Automation is not Over-Automation but Lack of Automation Policy. Doctoral Consortium PapersA Knowledge-Based Flight State Evaluation Approach Using Machine Learning Technology. An aircraft Dynamic Model for Tracking 4-D Trajectories. Analysis of the Geometric Altimetry to Support Aircraft Optimal Vertical Profiles within Future 4D Trajectory Management. Aircraft Turnaround Management in a highly automated 4D flight operations environment. AUTOFLY-Aid: Flight Deck Automation Support with Dynamic 4D Trajectory Management for Responsive and Adaptive Airborne Collision Avoidance. Climate Based Navigation - A New Way to Reduce Aviation CO2 Emissions. Effective Automation in ATM: a new perspective on management and control of automated system. Identification and initial characterization of sources of uncertainty affecting the performance of future Trajectory Management automation systems. Identifying Airspace Capacity Factors in the Air Traffic Management System. New concept of Automated Air Traffic Control System. Obstacle Tracking Results: Cartesian vs. Spherical Particle Filter. Pre-tactical Trajectory De-Confliction Algorithm for Air Traffic Management.
|