Technical Report

forum

Visible to the public Report on the Impact of CPS on Transportation

Submitted by davidk on Fri, 01/02/2015 - 11:35am

The U.S. Department of Transportation Intelligent Transportation Systems Join Program Office published a report titled, "the Smart/Connected City and its Implications for Connected Trasnportation" (FHWA-JPO-14-148). This white paper outlines the potential for the emerging connected transportation system to interface with smart/connected cities. Its aim is to lay the foundation for defining steps that the U.S.

forum

Visible to the public State Departments of Transportation Connected/Automated Vehicle Research Roadmap

Submitted by davidk on Mon, 12/15/2014 - 5:29pm

The American Association of State Highway and Transportation Officials National Cooperative Highway Research Program project 20-24(98) released a draft "Connected/Automated Vehicle Research Roadmap." See http://onlinepubs.trb.org/onlinepubs/nchrp/docs/NCHRP20-24(98)_RoadmapTopics_Final.pdf for a PDF copy.

file

Visible to the public Invariant verification of nonlinear hybrid automata networks of cardiac cells

Submitted by zhuang25 on Fri, 10/03/2014 - 12:47pm

Verification algorithms for networks of nonlinear hybrid au- tomata (HA) can aid understanding and controling of biological processes such as cardiac arrhythmia, formation of memory, and genetic regulation. We present an algorithm for over-approximating reach sets of networks of nonlinear HA which can be used for sound and relatively complete invariant checking. First, it uses automatically computed input-to-state discrepancy functions for the individual automata modules in the network A for constructing a low-dimensional model M.

file

Visible to the public A Backstepping Control Framework for m-Triangular Systems

Submitted by nkottens on Tue, 05/31/2011 - 5:26pm

(Under review in IEEE Transactions on Control Systems Technology: “A Backstepping Control Framework for Networked Control of m-Triangular Systems”) m-Triangular Systems are dynamical physical systems which can be described by m triangular subsystem models. Many physical system models such as those which describe fixed-wing and quadrotor aircraft can be realized as m-Triangular Systems. However, many control engineers try to fit their dynamical model into a 1-Triangular System model.