We propose a technique for synthesizing switching guards for hybrid systems to satisfy a given state-based safety constraint. Using techniques from sum of squares (SOS) optimization, we design guards defined by semialgebraic sets that trigger mode switches, and we guarantee that the synthesized switching policy does not allow Zeno executions. We demonstrate our approach on an example of switche...

We investigate the problem of algorithmically synthesizing turn-constrained routes that minimize exposure to hazardous weather. Such a problem is suitable to air traffic management automation and aircraft flight management systems. Our algorithm synthesizes routes that aircraft may follow from a specified start to finish location. Example applications include synthesizing routes (1) from airpor...

Traffic flow on freeways is a nonlinear, many-particle phenomenon, with complex interactions between vehicles. This paper presents a stochastic model of freeway traffic at a time scale and of a level of detail suitable for on-line estimation, routing and ramp metering control. The freeway is considered as a network of interconnected components, corresponding to one-way road links consisting of ...

In this paper we first present an extension of the macroscopic traffic flow model METANET to multi-class flows. The resulting multi-class model takes into account the differences between, e.g., fast vehicles (cars) and slow vehicles (trucks) including their possibly different free-flow speeds and critical densities. Next, we show how this model can be used in a model-based predictive control ap...

Abstrac&--In an effort to relieve peak hour congestion on freeways, various ramp metering algorithms have been employed to regulate the inputs to freeways from entry ramps. In this paper, we consider a freeway system comprised of a freeway section and its entry/exit ramps, and formulate the ramp control problem as a dynamic optimal process to minimize the total time spent in this system. Within...

A Human-In-The-Loop air traffic control simulation investigated the impact of uncertainties in trajectory predictions on NextGen Trajectory-Based Operations concepts, seeking to understand when the automation would become unacceptable to controllers or when performance targets could no longer be met. Retired air traffic controllers staffed two en route transition sectors, delivering arrival tra...

In the last two years, there is a gaining interest in usage based accounting for the Internet. One of the driving forces for this growing interest is the progress being made in providing some form of quality assurance in IP packet forwarding. One of the key processes in an accounting system is metering, gathering of network usage parameters on which the accounting is or can be based. In this pa...

Selecting the most appropriate traffic control strategy for incident congestion management can have a major impact on the extent and duration of the resulting congestion. This research investigated the effective-nesses of several control strategies on various incident conditions. The selected control strategies representing possible ITS technologies included traffic metering (ATMS), traffic div...

In-network caching is a key feature of contentcentric networking. It is however a relatively costly mechanism with hardware requirements besides placement/replication strategies elaboration. As content-centric networking is proposed in the literature to manage smart grid (SG) communications, we aim, in this research work, to investigate the cost effectiveness of in-network caching in this conte...