Academia

The document was issued by academy or academy organization.
file

Visible to the public An Introduction to Separation Logic

file

Visible to the public BitBlaze: Binary Analysis for Computer Security

file

Visible to the public Updatable Security Views

Presented as part of the 2009 HCSS conference.

file

Visible to the public Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems

Cyber-physical systems, such groups of unmanned aerial vehicles, are often monitored and controlled by networked control systems (NCS). NCS are deployed in many environments subject to realistic, complex network interactions, so evaluation of NCS is crucial to ensuring that NCS function as intended. Given the varied nature of NCS, it is appropriate to use a heterogenous simulation environment to capture the dynamics; however, the design and integration of heterogeneous simulation environments is a complex problem.

file

Visible to the public Extending Passivity to Guarantee Properties in CPS design - Presentation from the NSF Kickoff on November 29, 2010 .pdf

The slides that were presented at the NSF Kickoff meeting on November 29, 2010. Contributors to the presentation include P. Antsaklis, V. Gupta, and B. Goodwine. Topics discussed within the presentation include Passivity & Dissipativity in Dynamical Systems, Event-Triggered Control, and Passivity Indices - Cascade.

file

Visible to the public Distributed Sampling Rate Adaptation for Networked Control Systems

Authors: Jia Bai, Emeka P. Eyisi, Yuan Xue and Xenofon D. Koutsoukos Appeared in: The First International Workshop on Cyber-Physical Networking Systems (CPNS) in conjunction with INFOCOM, Shanghai, China, April 15 2011, pp. 6. Abstract: Building networked control systems is a promising direction that promotes the evolution of the traditional control systems. The ability of using different sampling rates in control systems provides the flexibility for adapting their resource needs based on the dynamic networking environment.

file

Visible to the public Dynamic Tuning Retransmission Limit of IEEE 802.11 MAC Protocol for Networked Control Systems

Authors: Jia Bai, Emeka P. Eyisi, Yuan Xue, and Xenofon D. Koutsoukos Appeared In: Green Computing and Communications (GreenCom), 2010 IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom) , vol., no., pp.666-671, 18-20 Dec.

file

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

(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.