Software & systems engineering and their applications.
file
Abstract:
We are developing advanced distributed monitoring and control systems for civil infrastructure. The approach employs cyber-physical co-design of wireless sensor-actuator networks and structural monitoring and control algorithms. The unified cyber-physical system architecture provides reusable middleware services for developing hierarchical structural monitoring and control systems.
file
Abstract:
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes.
file
Abstract:
The project will demonstrate a holonic multi-agent system architecture (HMSA) capable of adaptively controlling future electrical power distribution systems, which are expected to include a large number of renewable power generators, energy storage devices, and advanced metering and control devices. The project will produce a general, extensible, and secure cyber architecture based on holonic multi-agent principles to support adaptive PDS.
file
Abstract:
The project is an on-going collaborative effort between Massachusetts Institute of Technology and University of Pennsylvania since 2011.
file
Abstract:
This cross-disciplinary project brings together a team of engineering and computer science researchers to create, validate, and demonstrate the value of new techniques for ensuring that systems composed of combinations of hardware, software, and people are designed to operate in a truly synergistic and safe fashion.
file
Abstract:
Ongoing breakthroughs in nationally important research areas like Verification and Artificial Intelligence depend on continuing advances in high-performance automated theorem proving tools. The typical use of these tools is as backends: application problems are translated by an application tool into (typically very large and complex) logic formulas, which are then handed off to a logic solver. Different tradeoffs between linguistic expressiveness and the difficulty of solving the resulting problems give rise to different logics.
