Real-time discrete control law synthesis for hybrid systems using MILP: Application to congested airspace - American Control Conference, 2003. Proceedings of the 2003
نویسنده
چکیده
We use a mathematical model based on hybrid automata theory to describe air traffic flow in arrival mgions near airports. We show that the problem of scheduling the arrival flow subject to airspace and airport metering constraints may he formulated as a Mized Integer Linear Pmgmm (MILP). We demonstrate an implementation of this program, which accepts Air %fie Contml (ATC) data, performs the scheduling, and generatex a set of ATC commands directly executable hy the aircraft. Simulations indicate an empirical upper bound on the number of aircraft the program can treat while still resolving the problem in real time.
منابع مشابه
Robust Invariant Control Synthesis for Discrete-Time Polytopic Uncertain Linear Hybrid Systems
In this paper, a class of discrete-time uncertain linear hybrid systems, which is affected by both parameter variations and exterior disturbances, is considered. The goal here is to synthesize a hybrid control law, which includes the continuous variable control law and the discrete event control signal, so as to guarantee the controlled invariance for a specific region in the hybrid state space...
متن کاملA Novel Approach to Designing of Chattering-Free Sliding-Mode Control in Second-Order Discrete-Time Systems
In this paper, a chattering-free sliding-mode control is mainly proposed in a second-order discrete-time system. For achieving this purpose, firstly, a suitable control law would be derived by using the discrete-time Lyapunov stability theory and the sliding-mode concept. Then the input constraint is taken into account as a saturation function in the proposed control law. In order to guarantee ...
متن کاملOptimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach
Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...
متن کاملFinite Bisimulations of Controllable Linear Systems
Finite abstractions of infinite state models have been critical in enabling and applying formal and algorithmic verification methods to continuous and hybrid systems. This has triggered the study and characterization of classes of continuous dynamics which can be abstracted by finite transition systems. In this paper, we focus on synthesis rather than analysis. In this spirit, we show that give...
متن کاملControl from Computer Science 1
This paper presents some of the principles underlying veriication and controller synthesis techniques for discrete dynamical systems developed within Computer Science along with some ideas to extend them to continuous and hybrid systems. Hopefully, this will provide control theorists and engineers with an additional perspective of their discipline as seen by a sympathetic outsider, uncommitted ...
متن کامل