Submitted by Emily Wehby on September 5th, 2016
Abstract:
The use of robots in society could be expanded by using reinforcement learning (RL) to allow robots to learn and adapt to new situations on-line. RL is a paradigm for learning sequential decision making tasks, usually formulated as a Markov Decision Process (MDP). For an RL algorithm to be practical for robotic control tasks, it must learn in very few samples, while continually taking actions in real-time. In addition, the algorithm must learn efficiently in the face of noise, sensor/actuator delays, and continuous state features.
Submitted by Peter Stone on February 15th, 2016
File
Towards Secure Networked Cyber-Physical Systems: A Theoretic Framework with Bounded Rationality
Abstract:
Securing critical networked cyber-physical systems (NCPSs) such as the power grid or transportation systems has emerged as a major national and global priority. The networked nature of such systems renders them vulnerable to a range of attacks both in cyber and physical domains as corroborated by recent threats such as the Stuxnet virus.
Submitted by Walid Saad on February 15th, 2016
Submitted by Urbashi Mitra on February 15th, 2016
Abstract:
The goal of this research project is to create a scalable and robust cyber-physical system (CPS) framework for the observation and control of the functional interdependencies between bridge structures (stationary physical systems) and trucks, vehicles and human inspectors (mobile physical agents). Figure 1 shows the SHM-based CPS framework that is built around demonstration highway bridges with permanent wireless bridge monitoring system installed.
Submitted by Anonymous on February 15th, 2016
Submitted by Deniz Erdogmus on February 15th, 2016
Submitted by Jon Eisenberg on February 15th, 2016
Submitted by Sanjoy Das on February 15th, 2016
Abstract:
This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. We have uncovered two key structural properties of traffic networks that make them amenable to this approach.
Submitted by Murat Arcak on February 1st, 2016
Abstract:
Despite the current emphasis on developing green buildings, the global energy consumption issue is not being adequately addressed. In this project, we propose a new perspective on this ever-threatening issue: NetZero energy building clusters.
Submitted by Teresa Wu on February 1st, 2016