-
Towards a Robust Soft Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms
Authors:
Mohannad Alhakami,
Dylan R. Ashley,
Joel Dunham,
Francesco Faccio,
Eric Feron,
Jürgen Schmidhuber
Abstract:
Artificial intelligence has made great strides in many areas lately, yet it has had comparatively little success in general-use robotics. We believe one of the reasons for this is the disconnect between traditional robotic design and the properties needed for open-ended, creativity-based AI systems. To that end, we, taking selective inspiration from nature, build a robust, partially soft robotic l…
▽ More
Artificial intelligence has made great strides in many areas lately, yet it has had comparatively little success in general-use robotics. We believe one of the reasons for this is the disconnect between traditional robotic design and the properties needed for open-ended, creativity-based AI systems. To that end, we, taking selective inspiration from nature, build a robust, partially soft robotic limb with a large action space, rich sensory data stream from multiple cameras, and the ability to connect with others to enhance the action space and data stream. As a proof of concept, we train two contemporary machine learning algorithms to perform a simple target-finding task. Altogether, we believe that this design serves as a first step to building a robot tailor-made for achieving artificial general intelligence.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Analyzing and comparing door-to-door travel times for air transportation using aggregated Uber data
Authors:
Philippe Monmousseau,
Aude Marzuoli,
Eric Feron,
Daniel Delahaye
Abstract:
Improving the passenger air travel experience is one of the explicit goals set by the Next Generation Air Transportation System in the United States and by the Advisory Council for Aeronautics Research in Europe FlightPath 2050. Both suggest door-to-door travel times as a potential metric for these objectives. In this paper, we propose a data-driven model to estimate door-to-door travel times and…
▽ More
Improving the passenger air travel experience is one of the explicit goals set by the Next Generation Air Transportation System in the United States and by the Advisory Council for Aeronautics Research in Europe FlightPath 2050. Both suggest door-to-door travel times as a potential metric for these objectives. In this paper, we propose a data-driven model to estimate door-to-door travel times and compare the reach and performance of different access modes to a city, as well as conduct segment analysis of full door-to-door trips. This model can also be used to compare cities with respect to the integration of their airport within their road structure. We showcase multiple applications of this full door-to-door travel time model to demonstrate how the model can be used to locate where progress can be made.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control
Authors:
Raphaël Cohen,
Eric Féron,
Pierre-Loïc Garoche
Abstract:
Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably stronger design constraints that arise when the applications of interest, such as aerospace systems, are safety-critical. Formal verification is the process of…
▽ More
Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably stronger design constraints that arise when the applications of interest, such as aerospace systems, are safety-critical. Formal verification is the process of proving or disproving the ''correctness'' of an algorithm with respect to a certain mathematical description of it by means of a computer. This article discusses the formal verification of the Ellipsoid method, a convex optimization algorithm, and its code implementation as it applies to receding horizon control. Options for encoding code properties and their proofs are detailed. The applicability and limitations of those code properties and proofs are presented as well. Finally, floating-point errors are taken into account in a numerical analysis of the Ellipsoid algorithm. Modifications to the algorithm are presented which can be used to control its numerical stability.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Putting the Air Transportation System to sleep: a passenger perspective measured by passenger-generated data
Authors:
Philippe Monmousseau,
Aude Marzuoli,
Eric Feron,
Daniel Delahaye
Abstract:
This paper aims at analyzing the effect on the US air transportation system of the travel restriction measures implemented during the COVID-19 pandemic from a passenger perspective. Flight centric data are not already publicly and widely available therefore the traditional metrics used to measure the state of this system are not yet available. Seven metrics based on three different passenger-gener…
▽ More
This paper aims at analyzing the effect on the US air transportation system of the travel restriction measures implemented during the COVID-19 pandemic from a passenger perspective. Flight centric data are not already publicly and widely available therefore the traditional metrics used to measure the state of this system are not yet available. Seven metrics based on three different passenger-generated datasets are proposed here. They aim to measure in close to real-time how the travel restriction measures impacted the relation between major stakeholders of the US air transportation system, namely passengers, airports and airlines.
△ Less
Submitted 30 April, 2020; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Modeling and Experimental Validation of a Fractal Tetrahedron UAS Assembly
Authors:
Kévin Garanger,
Jeremy Epps,
Eric Feron
Abstract:
This paper presents the foundation of a modular robotic system comprised of several novel modules in the shape of a tetrahedron. Four single-propeller submodules are assembled to create the Tetracopter, a tetrahedron-shaped quad-rotorcraft used as the elementary module of a modular flying system. This modular flying system is built by assembling the different elementary modules in a fractal shape.…
▽ More
This paper presents the foundation of a modular robotic system comprised of several novel modules in the shape of a tetrahedron. Four single-propeller submodules are assembled to create the Tetracopter, a tetrahedron-shaped quad-rotorcraft used as the elementary module of a modular flying system. This modular flying system is built by assembling the different elementary modules in a fractal shape. The fractal tetrahedron structure of the modular flying assembly grants the vehicle more rigidity than a conventional two-dimensional modular robotic flight system while maintaining the relative efficiency of a two-dimensional modular robotic flight system. A prototype of the Tetracopter has been modeled, fabricated, and successfully flight-tested by the Decision and Control Laboratory at the Georgia Institute of Technology. The results of this research set the foundation for the development of Tetrahedron rotorcraft that can maintain controllable flight and assemble in flight to create a Fractal Tetrahedron Assembly.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
A full scale atmospheric flight experimental research environment for the Mars helicopter
Authors:
J. Pablo Afman,
Eric Feron,
Mitchell Walker
Abstract:
We propose to develop a full-accuracy flight test environment for the Mars helicopter and related Mars-atmospheric vehicles. The experiment would use reduced-g atmospheric flights with an aircraft that houses a properly sized vacuum chamber.
We propose to develop a full-accuracy flight test environment for the Mars helicopter and related Mars-atmospheric vehicles. The experiment would use reduced-g atmospheric flights with an aircraft that houses a properly sized vacuum chamber.
△ Less
Submitted 16 September, 2019;
originally announced October 2019.
-
Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications
Authors:
Thanakorn Khamvilai,
Louis Sutter,
Eric Feron,
Philippe Baufreton,
Francois Neumann
Abstract:
This work presents a decentralized allocation algorithm of safety-critical application on parallel computing architectures, where individual Computational Units can be affected by faults.
The described method consists in representing the architecture by an abstract graph where each node represents a Computational Unit. Applications are also represented by the graph of Computational Units they re…
▽ More
This work presents a decentralized allocation algorithm of safety-critical application on parallel computing architectures, where individual Computational Units can be affected by faults.
The described method consists in representing the architecture by an abstract graph where each node represents a Computational Unit. Applications are also represented by the graph of Computational Units they require for execution. The problem is then to decide how to allocate Computational Units to applications to guarantee execution of the safety-critical application. The problem is formulated as an optimization problem, with the form of an Integer Linear Program. A state-of-the-art solver is then used to solve the problem.
Decentralizing the allocation process is achieved through redundancy of the allocator executed on the architecture. No centralized element decides on the allocation of the entire architecture, thus improving the reliability of the system.
Experimental reproduction of a multi-core architecture is also presented. It is used to demonstrate the capabilities of the proposed allocation process to maintain the operation of a physical system in a decentralized way while individual component fails.
△ Less
Submitted 19 November, 2019; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Modeling and Experimental Validation of the Mechanics of a Wheeled Non-Holonomic Robot Capable of Enabling Homeostasis
Authors:
Jeremy Epps,
Eric Feron,
Mark Mote
Abstract:
The field of bio-inspired robotics seeks to create mechanical systems that mimic the designs and concepts used by biological systems. One of the more challenging biological concepts to imitate in mechanical systems is the ability to create an internal environment that can foster homeostasis through the use of a membrane similar to skin. A robot with this ability would be able to regulate internal…
▽ More
The field of bio-inspired robotics seeks to create mechanical systems that mimic the designs and concepts used by biological systems. One of the more challenging biological concepts to imitate in mechanical systems is the ability to create an internal environment that can foster homeostasis through the use of a membrane similar to skin. A robot with this ability would be able to regulate internal parameters, repair itself using the internal sub-environment, and defend its internal parts from the surrounding environment. This paper presents the internal structure of a non-holonomic wheeled system that enables homeostasis via a fully connected interior, protected from the outside environment by a flexible membrane. The three objectives of this paper are to: 1) Explore the idea of nature creating higher-order life forms with wheeled limbs given the correct intermediate steps. 2) Characterize a robot that uses a homeostasis enabling wheel. 3) Determine the feasibility of using a homeostasis enabling wheel as a mode of locomotion.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
Towards a New Paradigm of UAV Safety
Authors:
Juan-Pablo Afman,
Laurent Ciarletta,
Eric Feron,
John Franklin,
Thomas Gurriet,
Eric N. Johnson
Abstract:
With the rising popularity of UAVs in the civilian world, we are currently witnessing and paradim shift in terms of operational safety of flying vehicles. Safe and ubiquitous human-system interaction shall remain the core requirement but those prescribed in general aviation are not adapted for UAVs. Yet we believe it is possible to leverage the specific aspects of unmanned aviation to meet accepta…
▽ More
With the rising popularity of UAVs in the civilian world, we are currently witnessing and paradim shift in terms of operational safety of flying vehicles. Safe and ubiquitous human-system interaction shall remain the core requirement but those prescribed in general aviation are not adapted for UAVs. Yet we believe it is possible to leverage the specific aspects of unmanned aviation to meet acceptable safety requirements. We start this paper with by discussing the new operational context of civilian UAVs and investigate the meaning of safety in light of this new context. Next, we explore the different approaches to ensuring system safety from an avionics point of view. Subsets of operational requirements such as geofencing or mechanical systems for termination or impact limitation can easily be implemented. These are presented with the goal of limiting the collateral damages of a system failure. We then present some experimental results regarding two of the major problems with UAVs. With actual impacts, we demonstrate how dangerous uncontrolled crashes can be. Furthermore, with the large number of runaway drone experiences during civilian operations, the risk is even higher as they can travel a long way before crashing. We provide data on such a case where the software controller is working, keeping the UAV in the air, but the operator is unable to actually control the system. It should be terminated! Finally, after having analyzed the context and some actual solutions, based on a minimal set of requirement and our own experience, we are proposing a simple mechanical based safety system. It unequivocally terminates the flight in the most efficient way by instantly removing parts of the propellers leaving a minimal lifting surface. It takes advantage of what controllability may remain but with a deterministic ending: a definite landing.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Authors:
Guillaume Davy,
Eric Féron,
Pierre-Loïc Garoche,
Didier Henrion
Abstract:
Classical control of cyber-physical systems used to rely on basic linear controllers. These controllers provided a safe and robust behavior but lack the ability to perform more complex controls such as aggressive maneuvering or performing fuel-efficient controls. Another approach called optimal control is capable of computing such difficult trajectories but lacks the ability to adapt to dynamic ch…
▽ More
Classical control of cyber-physical systems used to rely on basic linear controllers. These controllers provided a safe and robust behavior but lack the ability to perform more complex controls such as aggressive maneuvering or performing fuel-efficient controls. Another approach called optimal control is capable of computing such difficult trajectories but lacks the ability to adapt to dynamic changes in the environment. In both cases, the control was designed offline, relying on more or less complex algorithms to find the appropriate parameters. More recent kinds of approaches such as Linear Model-Predictive Control (MPC) rely on the online use of convex optimization to compute the best control at each sample time. In these settings, optimization algorithms are specialized for the specific control problem and embed on the device. This paper proposes to revisit the code generation of an interior point method (IPM)algorithm, an efficient family of convex optimization, focusing on the proof of its implementation at code level. Our approach relies on the code specialization phase to produce additional annotations formalizing the intented specification of the algorithm. Deductive methods are then used to prove automatically the validity of these assertions. Since the algorithm is complex, additional lemmas are also produced, allowing the complete proofto be checked by SMT solvers only. This work is the first to address the effective formal proof of an IPM algorithm. Theapproach could also be generalized more systematically to code generation frameworks, producing proof certificate along the code, for numerical intensive software.
△ Less
Submitted 28 September, 2018; v1 submitted 11 January, 2018;
originally announced January 2018.
-
Motion Rectification for an Homeostasis-Enabling Wheel
Authors:
Juan-Pablo Afman,
Mark Mote,
Eric Feron
Abstract:
A wheel that is capable of producing thrust and maintaining vehicle internal integrity is presented. The wheel can be seen as an organic extension to the central unit (eg the vehicle) it is attached to, that is, the system and the wheel can be completely surrounded by the same tegument while enabling continuous wheel rotation without tearing the tegument. Furthermore, a skeleton linking the centra…
▽ More
A wheel that is capable of producing thrust and maintaining vehicle internal integrity is presented. The wheel can be seen as an organic extension to the central unit (eg the vehicle) it is attached to, that is, the system and the wheel can be completely surrounded by the same tegument while enabling continuous wheel rotation without tearing the tegument. Furthermore, a skeleton linking the central unit of the system to the wheel's center can be made through the use of joints and linear links, while allowing the apparatus to rotate continuously in the same direction with bounded twisting and no tegument tear. For that reason, artificial muscles can also be used to actuate the entire system. The underlying enabling mechanism is the rectification of a small number of oscillatory inputs. Another contribution of the proposed setup is to offer a plausible, yet untested, evolutionary path from today's living animals towards animals capable of wheeled locomotion.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Foundations of Intelligent Additive Manufacturing
Authors:
Kévin Garanger,
Eric Feron,
Pierre-Loïc Garoche,
Julian J. Rimoli,
John D. Berrigan,
Martha Grover,
Kerianne Hobbs
Abstract:
During the last decade, additive manufacturing has become increasingly popular for rapid prototyping, but has remained relatively marginal beyond the scope of prototyping when it comes to applications with tight tolerance specifications, such as in aerospace. Despite a strong desire to supplant many aerospace structures with printed builds, additive manufacturing has largely remained limited to pr…
▽ More
During the last decade, additive manufacturing has become increasingly popular for rapid prototyping, but has remained relatively marginal beyond the scope of prototyping when it comes to applications with tight tolerance specifications, such as in aerospace. Despite a strong desire to supplant many aerospace structures with printed builds, additive manufacturing has largely remained limited to prototyping, tooling, fixtures, and non-critical components. There are numerous fundamental challenges inherent to additive processing to be addressed before this promise is realized. One ubiquitous challenge across all AM motifs is to develop processing-property relationships through precise, in situ monitoring coupled with formal methods and feedback control. We suggest a significant component of this vision is a set of semantic layers within 3D printing files relevant to the desired material specifications. This semantic layer provides the feedback laws of the control system, which then evaluates the component during processing and intelligently evolves the build parameters within boundaries defined by semantic specifications. This evaluation and correction loop requires on-the-fly coupling of finite element analysis and topology optimization. The required parameters for this analysis are all extracted from the semantic layer and can be modified in situ to satisfy the global specifications. Therefore, the representation of what is printed changes during the printing process to compensate for eventual imprecision or drift arising during the manufacturing process.
△ Less
Submitted 12 May, 2017; v1 submitted 18 April, 2017;
originally announced May 2017.
-
Discrete and Continuous ambush games: optimal policies and approximate solutions
Authors:
Emmanuel Boidot,
Aude Marzuoli,
Eric Feron
Abstract:
We consider an autonomous navigation problem, whereby a traveler aims at traversing an environment in which an adversary tries to set an ambush. A two players zero sum game is introduced. Players' strategies are computed as random path distributions, a realization of which is the path chosen by the traveler. A parallel is drawn between the discrete problem, where the traveler moves on a network,…
▽ More
We consider an autonomous navigation problem, whereby a traveler aims at traversing an environment in which an adversary tries to set an ambush. A two players zero sum game is introduced. Players' strategies are computed as random path distributions, a realization of which is the path chosen by the traveler. A parallel is drawn between the discrete problem, where the traveler moves on a network, and the continuous problem, where the traveler moves in the plane. Analytical optimal policies are derived. Using assumptions from the Minimal Cut - Maximal Flow literature, the optimal value of the game is shown to be related to the maximum flow on the environment in both the discrete and the continuous cases, when the reward function for the ambusher is uniform. A linear program is introduced that allows for the computation of optimal policies, compatible with non-uniform reward functions. In order to relax the assumptions for the computation of the players' optimal strategies of the continuous game, a network is created, inspired by recently introduced sampling based motion planning techniques, and the linear program is adapted for continuous constraints.
△ Less
Submitted 7 December, 2016;
originally announced December 2016.
-
On the Design and Optimization of an Autonomous Microgravity Enabling Aerial Robot
Authors:
Juan-Pablo Afman,
John Franklin,
Mark L. Mote,
Thomas Gurriet,
Eric Feron
Abstract:
This paper describes the process and challenges behind the design and development of a micro-gravity enabling aerial robot. The vehicle, designed to provide at minimum 4 seconds of micro-gravity at an accuracy of .001 g's, is designed with suggestions and constraints from both academia and industry as well a regulatory agency. The feasibility of the flight mission is validated using a simulation e…
▽ More
This paper describes the process and challenges behind the design and development of a micro-gravity enabling aerial robot. The vehicle, designed to provide at minimum 4 seconds of micro-gravity at an accuracy of .001 g's, is designed with suggestions and constraints from both academia and industry as well a regulatory agency. The feasibility of the flight mission is validated using a simulation environment, where models obtained from system identification of existing hardware are implemented to increase the fidelity of the simulation. The current development of a physical test bed is described. The vehicle employs both control and autonomy logic, which is developed in the Simulink environment and executed in a Pixhawk flight control board.
△ Less
Submitted 23 November, 2016;
originally announced November 2016.
-
A Framework for Collision-Tolerant Optimal Trajectory Planning of Autonomous Vehicles
Authors:
Mark L. Mote,
Juan-Pablo Afman,
Eric Feron
Abstract:
Collision-tolerant trajectory planning is the consideration that collisions, if they are planned appropriately, enable more effective path planning for robots capable of handling them. A mixed integer programming (MIP) optimization formulation demonstrates the computational practicality of optimizing trajectories that comprise planned collisions. A damage quantification function is proposed, and t…
▽ More
Collision-tolerant trajectory planning is the consideration that collisions, if they are planned appropriately, enable more effective path planning for robots capable of handling them. A mixed integer programming (MIP) optimization formulation demonstrates the computational practicality of optimizing trajectories that comprise planned collisions. A damage quantification function is proposed, and the influence of damage functions constraints on the trajectory are studied in simulation. Using a simple example, an increase in performance is achieved under this schema as compared to collision-free optimal trajectories.
△ Less
Submitted 22 November, 2016;
originally announced November 2016.
-
The Robotarium: A remotely accessible swarm robotics research testbed
Authors:
Daniel Pickem,
Paul Glotfelter,
Li Wang,
Mark Mote,
Aaron Ames,
Eric Feron,
Magnus Egerstedt
Abstract:
This paper describes the Robotarium -- a remotely accessible, multi-robot research facility. The impetus behind the Robotarium is that multi-robot testbeds constitute an integral and essential part of the multi-robot research cycle, yet they are expensive, complex, and time-consuming to develop, operate, and maintain. These resource constraints, in turn, limit access for large groups of researcher…
▽ More
This paper describes the Robotarium -- a remotely accessible, multi-robot research facility. The impetus behind the Robotarium is that multi-robot testbeds constitute an integral and essential part of the multi-robot research cycle, yet they are expensive, complex, and time-consuming to develop, operate, and maintain. These resource constraints, in turn, limit access for large groups of researchers and students, which is what the Robotarium is remedying by providing users with remote access to a state-of-the-art multi-robot test facility. This paper details the design and operation of the Robotarium and discusses the considerations one must take when making complex hardware remotely accessible. In particular, safety must be built into the system already at the design phase without overly constraining what coordinated control programs users can upload and execute, which calls for minimally invasive safety routines with provable performance guarantees.
△ Less
Submitted 15 September, 2016;
originally announced September 2016.
-
Safe, Remote-Access Swarm Robotics Research on the Robotarium
Authors:
Daniel Pickem,
Li Wang,
Paul Glotfelter,
Yancy Diaz-Mercado,
Mark Mote,
Aaron Ames,
Eric Feron,
Magnus Egerstedt
Abstract:
This paper describes the development of the Robotarium -- a remotely accessible, multi-robot research facility. The impetus behind the Robotarium is that multi-robot testbeds constitute an integral and essential part of the multi-agent research cycle, yet they are expensive, complex, and time-consuming to develop, operate, and maintain. These resource constraints, in turn, limit access for large g…
▽ More
This paper describes the development of the Robotarium -- a remotely accessible, multi-robot research facility. The impetus behind the Robotarium is that multi-robot testbeds constitute an integral and essential part of the multi-agent research cycle, yet they are expensive, complex, and time-consuming to develop, operate, and maintain. These resource constraints, in turn, limit access for large groups of researchers and students, which is what the Robotarium is remedying by providing users with remote access to a state-of-the-art multi-robot test facility. This paper details the design and operation of the Robotarium as well as connects these to the particular considerations one must take when making complex hardware remotely accessible. In particular, safety must be built in already at the design phase without overly constraining which coordinated control programs the users can upload and execute, which calls for minimally invasive safety routines with provable performance guarantees.
△ Less
Submitted 3 April, 2016;
originally announced April 2016.
-
Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach
Authors:
Harold Nikoue,
Aude Marzuoli,
John-Paul Clarke,
Eric Feron,
Jim Peters
Abstract:
Time spent in processing zones at an airport are an important part of the passenger's airport experience. It undercuts the time spent in the rest of the airport, and therefore the revenue that could be generated from shopping and dining. It can also result in passengers missing flights and connections, which has significant operational repercussions. Inadequate staffing levels are often to blame f…
▽ More
Time spent in processing zones at an airport are an important part of the passenger's airport experience. It undercuts the time spent in the rest of the airport, and therefore the revenue that could be generated from shopping and dining. It can also result in passengers missing flights and connections, which has significant operational repercussions. Inadequate staffing levels are often to blame for large congestion at an airport. In this paper, we present a stochastic simulation that estimates the operational uncertainty in passenger processing at immigration. Congestion and delays are estimated on arrivals and departures based on scheduled flight departures and arrivals. We demonstrate the use of cellular tracking data in refining the model, and an approach to controlling congestion by adjusting staffing levels.
△ Less
Submitted 19 August, 2015;
originally announced August 2015.
-
Anatomy of a Crash
Authors:
Aude Marzuoli,
Emmanuel Boidot,
Eric Feron,
Paul B. C. van Erp,
Alexis Ucko,
Alexandre Bayen,
Mark Hansen
Abstract:
Transportation networks constitute a critical infrastructure enabling the transfers of passengers and goods, with a significant impact on the economy at different scales. Transportation modes, whether air, road or rail, are coupled and interdependent. The frequent occurrence of perturbations on one or several modes disrupts passengers' entire journeys, directly and through ripple effects. The pres…
▽ More
Transportation networks constitute a critical infrastructure enabling the transfers of passengers and goods, with a significant impact on the economy at different scales. Transportation modes, whether air, road or rail, are coupled and interdependent. The frequent occurrence of perturbations on one or several modes disrupts passengers' entire journeys, directly and through ripple effects. The present paper provides a case report of the Asiana Crash in San Francisco International Airport on July 6th 2013 and its repercussions on the multimodal transportation network. It studies the resulting propagation of disturbances on the transportation infrastructure in the United States. The perturbation takes different forms and varies in scale and time frame : cancellations and delays snowball in the airspace, highway traffic near the airport is impacted by congestion in previously never congested locations, and transit passenger demand exhibit unusual traffic peaks in between airports in the Bay Area. This paper, through a case study, aims at stressing the importance of further data-driven research on interdependent infrastructure networks for increased resilience. The end goal is to form the basis for optimization models behind providing more reliable passenger door-to-door journeys.
△ Less
Submitted 15 October, 2014;
originally announced October 2014.
-
A Complete framework for ambush avoidance in realistic environments
Authors:
Emmanuel Boidot,
Aude Marzuoli,
Eric Feron
Abstract:
Operating vehicles in adversarial environments between a recurring origin-destination pair requires new planning techniques. A two players zero-sum game is introduced. The goal of the first player is to minimize the expected casualties undergone by a convoy. The goal of the second player is to maximize this damage. The outcome of the game is obtained via a linear program that solves the correspond…
▽ More
Operating vehicles in adversarial environments between a recurring origin-destination pair requires new planning techniques. A two players zero-sum game is introduced. The goal of the first player is to minimize the expected casualties undergone by a convoy. The goal of the second player is to maximize this damage. The outcome of the game is obtained via a linear program that solves the corresponding minmax optimization problem over this outcome. Different environment models are defined in order to compute routing strategies over unstructured environments. To compare these methods for increasingly accurate representations of the environment, a grid-based model is chosen to represent the environment and the existence of a sufficient network size is highlighted. A global framework for the generation of realistic routing strategies between any two points is described. This framework requires a good assessment of the potential casualties at any location, therefore the most important parameters are identified. Finally the framework is tested on real world environments.
△ Less
Submitted 26 August, 2014;
originally announced August 2014.
-
A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal
Authors:
Derya Aksaray,
A. Yasin Yazicioglu,
Eric Feron,
Dimitri N. Mavris
Abstract:
In a multi-agent system, agents coordinate to achieve global tasks through local communications. Coordination usually requires sufficient information flow, which is usually depicted by the connectivity of the communication network. In a networked system, removal of some agents may cause a disconnection. In order to maintain connectivity in agent removal, one can design a robust network topology th…
▽ More
In a multi-agent system, agents coordinate to achieve global tasks through local communications. Coordination usually requires sufficient information flow, which is usually depicted by the connectivity of the communication network. In a networked system, removal of some agents may cause a disconnection. In order to maintain connectivity in agent removal, one can design a robust network topology that tolerates a finite number of agent losses, and/or develop a control strategy that recovers connectivity. This paper proposes a decentralized control scheme based on a sequence of replacements, each of which occurs between an agent and one of its immediate neighbors. The replacements always end with an agent, whose relocation does not cause a disconnection. We show that such an agent can be reached by a local rule utilizing only some local information available in agents' immediate neighborhoods. As such, the proposed message passing strategy guarantees the connectivity maintenance in arbitrary agent removal. Furthermore, we significantly improve the optimality of the proposed scheme by incorporating $δ$-criticality (i.e. the criticality of an agent in its $δ$-neighborhood).
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
Formally expressing the semantics of observer-based fault detection software
Authors:
Alireza Esna Ashari,
Eric Feron
Abstract:
The aim is to create reliable and verifiable fault detection software to detect abrupt changes in safety-critical dynamic systems. Fault detection methods are implemented as software on digital computers that monitor and control the system. We implement three observer-based fault detection methods on a 3 degrees of freedom (3DOF) laboratory helicopter, in the form of software. We examine the perfo…
▽ More
The aim is to create reliable and verifiable fault detection software to detect abrupt changes in safety-critical dynamic systems. Fault detection methods are implemented as software on digital computers that monitor and control the system. We implement three observer-based fault detection methods on a 3 degrees of freedom (3DOF) laboratory helicopter, in the form of software. We examine the performance of those methods to detect different faults during flight in a closed-loop setup. All selected methods show acceptable detection performance. However, it is not possible to repeat the test for every possible conditions, inputs and fault scenarios. In this paper, we translate fault detection properties and mathematical proofs into a formal language, previously used in software validation and verification. We include the translated properties in software in the form of non-executable annotations that can be read by machine. Consequently, some high level functional properties of the code can be verified by automatic software verification tools. This certifies fault detection software for a set of bounded data and increases the reliability in practice.
△ Less
Submitted 3 December, 2013; v1 submitted 5 September, 2013;
originally announced September 2013.
-
Numerical Analysis of Gate Conflict Duration and Passenger Transit Time in Airport
Authors:
Sang Hyun Kim,
Eric Feron
Abstract:
Robustness is as important as efficiency in air transportation. All components in the air traffic system are connected to form an interactive network. So, a disturbance that occurs in one component, for example, a severe delay at an airport, can influence the entire network. Delays are easily propagated between flights through gates, but the propagation can be reduced if gate assignments are robus…
▽ More
Robustness is as important as efficiency in air transportation. All components in the air traffic system are connected to form an interactive network. So, a disturbance that occurs in one component, for example, a severe delay at an airport, can influence the entire network. Delays are easily propagated between flights through gates, but the propagation can be reduced if gate assignments are robust against stochastic delays. In this paper, we analyze gate delays and suggest an approach that involves assigning gates while making them robust against stochastic delays. We extract an example flight schedule from data source and generate schedules with increased traffic to analyze how the compact flight schedules impact the robustness of gate assignment. Simulation results show that our approach improves the robustness of gate assignment. Particularly, the robust gate assignment reduces average duration of gate conflicts by 96.3% and the number of gate conflicts by 96.7% compared to the baseline assignment. However, the robust gate assignment results in longer transit time for passengers, and a trade-off between the robustness of gate assignment and passenger transit time is presented.
△ Less
Submitted 28 August, 2013;
originally announced August 2013.
-
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Authors:
Timothy Wang,
Romain Jobredeaux,
Heber Herencia,
Pierre-Loic Garoche,
Arnaud Dieumegard,
Eric Feron,
Marc Pantel
Abstract:
This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties which can be independently verified. It relies on domain specific knowledge and fomal methods of analysis to address a context of heightened safety requirements for critical embedded systems and ever-increasing costs of ver…
▽ More
This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties which can be independently verified. It relies on domain specific knowledge and fomal methods of analysis to address a context of heightened safety requirements for critical embedded systems and ever-increasing costs of verification and validation. The platform strives to bridge the semantic gap between domain expert and code verification expert. First, a graphical dataflow language is extended with annotation symbols enabling the control engineer to express high level properties of its control law within the framework of a familiar language. An existing autocoder is enhanced to both generate the code implementing the initial design, but also to carry high level properties down to annotations at the level of the code. Finally, using customized code analysis tools, certificates are generated which guarantee the correctness of the annotations with respect to the code, and can be verified using existing static analysis tools. Only a subset of properties and controllers are handled at this point.
△ Less
Submitted 25 August, 2013; v1 submitted 9 July, 2013;
originally announced July 2013.
-
Impact of Gate Assignment on Gate-Holding Departure Control Strategies
Authors:
Sang Hyun Kim,
Eric Feron
Abstract:
Gate holding reduces congestion by reducing the number of aircraft present on the airport surface at any time, while not starving the runway. Because some departing flights are held at gates, there is a possibility that arriving flights cannot access the gates and have to wait until the gates are cleared. This is called a gate conflict. Robust gate assignment is an assignment that minimizes gate c…
▽ More
Gate holding reduces congestion by reducing the number of aircraft present on the airport surface at any time, while not starving the runway. Because some departing flights are held at gates, there is a possibility that arriving flights cannot access the gates and have to wait until the gates are cleared. This is called a gate conflict. Robust gate assignment is an assignment that minimizes gate conflicts by assigning gates to aircraft to maximize the time gap between two consecutive flights at the same gate; it makes gate assignment robust, but passengers may walk longer to transfer flights. In order to simulate the airport departure process, a queuing model is introduced. The model is calibrated and validated with actual data from New York La Guardia Airport (LGA) and a U.S. hub airport. Then, the model simulates the airport departure process with the current gate assignment and a robust gate assignment to assess the impact of gate assignment on gate-holding departure control. The results show that the robust gate assignment reduces the number of gate conflicts caused by gate holding compared to the current gate assignment. Therefore, robust gate assignment can be combined with gate-holding departure control to improve operations at congested airports with limited gate resources.
△ Less
Submitted 14 June, 2013;
originally announced June 2013.
-
Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations
Authors:
Pierrick Burgain,
Sang Hyun Kim,
Eric Feron
Abstract:
Airport departure operations are a source of airline delays and passenger frustration. Excessive surface traffic is a cause of increased controller and pilot workload. It is also a source of increased emissions and delays, and does not yield improved runway throughput. Leveraging the extensive past research on airport departure management, this paper explores the environmental and safety benefits…
▽ More
Airport departure operations are a source of airline delays and passenger frustration. Excessive surface traffic is a cause of increased controller and pilot workload. It is also a source of increased emissions and delays, and does not yield improved runway throughput. Leveraging the extensive past research on airport departure management, this paper explores the environmental and safety benefits that improved surveillance technologies can bring in the context of gate- or spot-release strategies. The paper shows that improved surveillance technologies can yield 4% to 6% reduction of aircraft on taxiway, and therefore emissions, in addition to the savings currently observed by implementing threshold starategies under evaluation at Boston Logan Airport and other busy airports during congested periods. These calculated benefits contrast sharply with our previous work, which relied on simplified airport ramp areas with a single departure spot, and where fewer environmental and economic benefits of advanced surface surveillance systems could be established. Our work is illustrated by its application to New-York LaGuardia and Seattle Tacoma airports.
△ Less
Submitted 14 June, 2013;
originally announced June 2013.
-
Airport Gate Scheduling for Passengers, Aircraft, and Operation
Authors:
Sang Hyun Kim,
Eric Feron,
John-Paul Clarke,
Aude Marzuoli,
Daniel Delahaye
Abstract:
Passengers' experience is becoming a key metric to evaluate the air transportation system's performance. Efficient and robust tools to handle airport operations are needed along with a better understanding of passengers' interests and concerns. Among various airport operations, this paper studies airport gate scheduling for improved passengers' experience. Three objectives accounting for passenger…
▽ More
Passengers' experience is becoming a key metric to evaluate the air transportation system's performance. Efficient and robust tools to handle airport operations are needed along with a better understanding of passengers' interests and concerns. Among various airport operations, this paper studies airport gate scheduling for improved passengers' experience. Three objectives accounting for passengers, aircraft, and operation are presented. Trade-offs between these objectives are analyzed, and a balancing objective function is proposed. The results show that the balanced objective can improve the efficiency of traffic flow in passenger terminals and on ramps, as well as the robustness of gate operations.
△ Less
Submitted 15 January, 2013;
originally announced January 2013.
-
Planning Random path distributions for ambush games in unstructured environments
Authors:
Emmanuel Boidot,
Eric Feron
Abstract:
Operating vehicles in adversarial environments require non-conventional planning techniques. A two-player, zero-sum non-cooperative game is introduced, which is solved via a linear program. An extension is proposed to construct networks displaying good representations of the environment characteristics, while offering acceptable results for the technique used. Sensitivity of the solution to the LP…
▽ More
Operating vehicles in adversarial environments require non-conventional planning techniques. A two-player, zero-sum non-cooperative game is introduced, which is solved via a linear program. An extension is proposed to construct networks displaying good representations of the environment characteristics, while offering acceptable results for the technique used. Sensitivity of the solution to the LP solver algorithm is identified. The performances of the planner are finally assessed by comparison with those of conventional planners. Results are used to formulate secondary objectives to the problem.
△ Less
Submitted 27 August, 2012;
originally announced August 2012.
-
Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version)
Authors:
Mardavij Roozbehani,
Alexandre Megretski,
Eric Feron
Abstract:
The paper proposes a control-theoretic framework for verification of numerical software systems, and puts forward software verification as an important application of control and systems theory. The idea is to transfer Lyapunov functions and the associated computational techniques from control systems analysis and convex optimization to verification of various software safety and performance speci…
▽ More
The paper proposes a control-theoretic framework for verification of numerical software systems, and puts forward software verification as an important application of control and systems theory. The idea is to transfer Lyapunov functions and the associated computational techniques from control systems analysis and convex optimization to verification of various software safety and performance specifications. These include but are not limited to absence of overflow, absence of division-by-zero, termination in finite time, presence of dead-code, and certain user-specified assertions. Central to this framework are Lyapunov invariants. These are properly constructed functions of the program variables, and satisfy certain properties-resembling those of Lyapunov functions-along the execution trace. The search for the invariants can be formulated as a convex optimization problem. If the associated optimization problem is feasible, the result is a certificate for the specification.
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
A graphical environment to express the semantics of control systems
Authors:
Timothy Wang,
Romain Jobredeaux,
E. Feron
Abstract:
We present the concept of a unified graphical environment for expressing the semantics of control systems. The graphical control system design environment in Simulink already allows engineers to insert a variety of assertions aimed the verification and validation of the control software. We propose extensions to a Simulink-like environment's annotation capabilities to include formal control system…
▽ More
We present the concept of a unified graphical environment for expressing the semantics of control systems. The graphical control system design environment in Simulink already allows engineers to insert a variety of assertions aimed the verification and validation of the control software. We propose extensions to a Simulink-like environment's annotation capabilities to include formal control system stability, performance properties and their proofs. We provide a conceptual description of a tool, that takes in a Simulink-like diagram of the control system as the input, and generates a graphically annotated control system diagram as the output. The annotations can either be inserted by the user or generated automatically by a third party control analysis software such as IQC$β$ or $μ$-tool. We finally describe how the graphical representation of the system and its properties can be translated to annotated programs in a programming language used in verification and validation such as Lustre or C.
△ Less
Submitted 19 August, 2011;
originally announced August 2011.
-
Trajectory Clustering and an Application to Airspace Monitoring
Authors:
Maxime Gariel,
Ashok N. Srivastava,
Eric Feron
Abstract:
This paper presents a framework aimed at monitoring the behavior of aircraft in a given airspace. Nominal trajectories are determined and learned using data driven methods. Standard procedures are used by air traffic controllers (ATC) to guide aircraft, ensure the safety of the airspace, and to maximize the runway occupancy. Even though standard procedures are used by ATC, the control of the air…
▽ More
This paper presents a framework aimed at monitoring the behavior of aircraft in a given airspace. Nominal trajectories are determined and learned using data driven methods. Standard procedures are used by air traffic controllers (ATC) to guide aircraft, ensure the safety of the airspace, and to maximize the runway occupancy. Even though standard procedures are used by ATC, the control of the aircraft remains with the pilots, leading to a large variability in the flight patterns observed. Two methods to identify typical operations and their variability from recorded radar tracks are presented. This knowledge base is then used to monitor the conformance of current operations against operations previously identified as standard. A tool called AirTrajectoryMiner is presented, aiming at monitoring the instantaneous health of the airspace, in real time. The airspace is "healthy" when all aircraft are flying according to the nominal procedures. A measure of complexity is introduced, measuring the conformance of current flight to nominal flight patterns. When an aircraft does not conform, the complexity increases as more attention from ATC is required to ensure a safe separation between aircraft.
△ Less
Submitted 27 January, 2010; v1 submitted 27 January, 2010;
originally announced January 2010.
-
Using Ellipsoidal Domains to Analyze Control Systems Software
Authors:
Fernando Alegre,
Eric Feron,
Santosh Pande
Abstract:
We propose a methodology for the automatic verification of safety properties of controllers based on dynamical systems, such as those typically used in avionics. In particular, our focus is on proving stability properties of software implementing linear and some non-linear controllers. We develop an abstract interpretation framework that follows closely the Lyapunov methods used in proofs at the…
▽ More
We propose a methodology for the automatic verification of safety properties of controllers based on dynamical systems, such as those typically used in avionics. In particular, our focus is on proving stability properties of software implementing linear and some non-linear controllers. We develop an abstract interpretation framework that follows closely the Lyapunov methods used in proofs at the model level and describe the corresponding abstract domains, which for linear systems consist of ellipsoidal constraints. These ellipsoidal domains provide abstractions for the values of state variables and must be combined with other domains that model the remaining variables in a program. Thus, the problem of automatically assigning the right type of abstract domain to each variable arises. We provide an algorithm that solves this classification problem in many practical cases and suggest how it could be generalized to more complicated cases. We then find a fixpoint by solving a matrix equation, which in the linear case is just the discrete Lyapunov equation. Contrary to most cases in software analysis, this fixpoint cannot be reached by the usual iterative method of propagating constraints until saturation and so numerical methods become essential. Finally, we illustrate our methodology with several examples.
△ Less
Submitted 10 September, 2009;
originally announced September 2009.
-
Control software analysis, part II: Closed-loop analysis
Authors:
Eric Feron,
Fernando Alegre
Abstract:
The analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Issues of physical system representations arise, and it is desired that such representations remain independent from the representations of the control program. For that purpose, a concurrent program representation of the…
▽ More
The analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Issues of physical system representations arise, and it is desired that such representations remain independent from the representations of the control program. For that purpose, a concurrent program representation of the plant and the control processes is proposed, although the closed-loop system is sufficiently serialized to enable a sequential analysis. While dealing with closed-loop system properties, it is also shown by means of examples how special treatment of nonlinearities extends from the analysis of control specifications to code analysis.
△ Less
Submitted 10 December, 2008;
originally announced December 2008.
-
Scheduling Kalman Filters in Continuous Time
Authors:
Jerome Le Ny,
Eric Feron,
Munther A. Dahleh
Abstract:
A set of N independent Gaussian linear time invariant systems is observed by M sensors whose task is to provide the best possible steady-state causal minimum mean square estimate of the state of the systems, in addition to minimizing a steady-state measurement cost. The sensors can switch between systems instantaneously, and there are additional resource constraints, for example on the number of…
▽ More
A set of N independent Gaussian linear time invariant systems is observed by M sensors whose task is to provide the best possible steady-state causal minimum mean square estimate of the state of the systems, in addition to minimizing a steady-state measurement cost. The sensors can switch between systems instantaneously, and there are additional resource constraints, for example on the number of sensors which can observe a given system simultaneously. We first derive a tractable relaxation of the problem, which provides a bound on the achievable performance. This bound can be computed by solving a convex program involving linear matrix inequalities. Exploiting the additional structure of the sites evolving independently, we can decompose this program into coupled smaller dimensional problems. In the scalar case with identical sensors, we give an analytical expression of an index policy proposed in a more general context by Whittle. In the general case, we develop open-loop periodic switching policies whose performance matches the bound arbitrarily closely.
△ Less
Submitted 28 October, 2008;
originally announced October 2008.
-
Control software analysis, Part I Open-loop properties
Authors:
Eric Feron,
Fernando Alegre
Abstract:
As the digital world enters further into everyday life, questions are raised about the increasing challenges brought by the interaction of real-time software with physical devices. Many accidents and incidents encountered in areas as diverse as medical systems, transportation systems or weapon systems are ultimately attributed to "software failures". Since real-time software that interacts with…
▽ More
As the digital world enters further into everyday life, questions are raised about the increasing challenges brought by the interaction of real-time software with physical devices. Many accidents and incidents encountered in areas as diverse as medical systems, transportation systems or weapon systems are ultimately attributed to "software failures". Since real-time software that interacts with physical systems might as well be called control software, the long litany of accidents due to real-time software failures might be taken as an equally long list of opportunities for control systems engineering. In this paper, we are interested only in run-time errors in those pieces of software that are a direct implementation of control system specifications: For well-defined and well-understood control architectures such as those present in standard textbooks on digital control systems, the current state of theoretical computer science is well-equipped enough to address and analyze control algorithms. It appears that a central element to these analyses is Lyapunov stability theory, which translate into invariant theory in computer implementations.
△ Less
Submitted 27 September, 2008;
originally announced September 2008.
-
Collaborative Virtual Queue: Fair Management of Congested Departure Operations and Benefit Analysis
Authors:
Pierrick Burgain,
Eric Feron,
John-Paul Clarke
Abstract:
Due to the stochastic nature of departure operations, working at full capacity makes major US airports very sensitive to uncertainties. Consequently, airport ground operations face critically congested taxiways and long runway queues. In this report, we show how improved management of departure operations from the ready-to-push-back time to the wheels-off time can potentially yield significant b…
▽ More
Due to the stochastic nature of departure operations, working at full capacity makes major US airports very sensitive to uncertainties. Consequently, airport ground operations face critically congested taxiways and long runway queues. In this report, we show how improved management of departure operations from the ready-to-push-back time to the wheels-off time can potentially yield significant benefits to airlines and air traffic services. We develop a Collaborative Virtual Queue to enable better optimization capabilities during congested situations while taking into account the laissez-faire competitive environment. Results are evaluated using a departure system model, validated using current statistics and previous studies. First, the Collaborative Virtual Queue enables keeping aircraft away from runway queues, which increases wheels-off time predictability. Second, holding aircraft enables last-minute intra-airline flight switching. This creates new optimization capabilities for airlines i.e. it gives airlines the flexibility to prioritize their flight sequence in real-time. These capabilities are illustrated by the trade-off between minimizing the average passenger waiting time and minimizing the level of unfairness between aircraft of the same airline. For instance, airlines could choose to decrease by up to 15% their average passenger waiting time by prioritizing heavy planes over small planes when the taxiway system is congested.
△ Less
Submitted 3 July, 2008;
originally announced July 2008.
-
Graceful Degradation of Air Traffic Operations
Authors:
Maxime Gariel,
Eric Feron
Abstract:
The introduction of new technologies and concepts of operation in the air transportation system is not possible, unless they can be proven not to adversely affect the system operation under not only nominal, but also degraded conditions. In extreme scenarios, degraded operations due to partial or complete technological failures should never endanger system safety. Many past system evolutions, wh…
▽ More
The introduction of new technologies and concepts of operation in the air transportation system is not possible, unless they can be proven not to adversely affect the system operation under not only nominal, but also degraded conditions. In extreme scenarios, degraded operations due to partial or complete technological failures should never endanger system safety. Many past system evolutions, whether ground-based or airborne, have been based on trial-and-error, and system safety was addressed only after a specific event yielded dramatic or near- dramatic consequences. Future system evolutions, however, must leverage available computation, prior knowledge and abstract reasoning to anticipate all possible system degradations and prove that such degradations are graceful and safe. This paper is concerned with the graceful degradation of high-density, structured arrival traffic against partial or complete surveillance failures. It is shown that for equal performance requirements, some traffic configurations might be easier to handle than others, thereby offering a quantitative perspective on these traffic configurations. ability to "gracefully degrade". To support our work, we also introduce a new conflict resolution algorithm, aimed at solving conflicts involving many aircraft when aircraft position information is in the process of degrading.
△ Less
Submitted 30 January, 2008;
originally announced January 2008.
-
Experiments with small helicopter automated landings at unusual attitudes
Authors:
S. Bayraktar,
E. Feron
Abstract:
This paper describes a set of experiments involving small helicopters landing automated landing at unusual attitudes. By leveraging the increased agility of small air vehicles, we show that it is possible to automatically land a small helicopter on surfaces pitched at angles up to 60 degrees. Such maneuvers require considerable agility from the vehicle and its avionics system, and they pose sign…
▽ More
This paper describes a set of experiments involving small helicopters landing automated landing at unusual attitudes. By leveraging the increased agility of small air vehicles, we show that it is possible to automatically land a small helicopter on surfaces pitched at angles up to 60 degrees. Such maneuvers require considerable agility from the vehicle and its avionics system, and they pose significant technical and safety challenges. Our work builds upon previous activities in human-inspired, high-agility flight for small rotorcraft. However, it was not possible to leverage manual flight test data to extract landing maneuvers due to stringent attitude and position control requirements. Availability of low-cost, local navigation systems requiring no on-board instrumentation has proven particularly important for these experiments to be successful.
△ Less
Submitted 11 September, 2007;
originally announced September 2007.
-
A Dynamic I/O Model for TRACON Traffic Management
Authors:
Maxime Gariel,
John-Paul Clarke,
Eric Feron
Abstract:
This work investigates the TRACON flow management around a major airport. Aircraft flows are analyzed through a study of TRACON trajectories records. Rerouting and queuing processes are highlighted and airport characteristics are shown as function of the number of planes in the TRACON. Then, a simple input-output TRACON queuing and landing model is proposed. This model is calibrated and validate…
▽ More
This work investigates the TRACON flow management around a major airport. Aircraft flows are analyzed through a study of TRACON trajectories records. Rerouting and queuing processes are highlighted and airport characteristics are shown as function of the number of planes in the TRACON. Then, a simple input-output TRACON queuing and landing model is proposed. This model is calibrated and validated using available TRACON data. It reproduces the same phenomenon as the real system. This model is used to show the impact of limiting the number of aircrafts in the TRACON. A limited number of aircraft does not increase delays but reduces the controller's workload and increases safety.
△ Less
Submitted 2 February, 2007;
originally announced February 2007.
-
Certifying controls and systems software
Authors:
Eric Feron,
Mardavij Roozbehani
Abstract:
Software system certification presents itself with many challenges, including the necessity to certify the system at the level of functional requirements, code and binary levels, the need to chase down run-time errors, and the need for proving timing properties of the eventual, compiled system. This paper illustrates possible approaches for certifying code that arises from control systems requir…
▽ More
Software system certification presents itself with many challenges, including the necessity to certify the system at the level of functional requirements, code and binary levels, the need to chase down run-time errors, and the need for proving timing properties of the eventual, compiled system. This paper illustrates possible approaches for certifying code that arises from control systems requirements as far as stability properties are concerned. The relative simplicity of the certification process should encourage the development of systematic procedures for certifying control system codes for more complex environments.
△ Less
Submitted 23 January, 2007; v1 submitted 21 January, 2007;
originally announced January 2007.