The formalization of system engineering models and approaches.
file
The objective of this research is to investigate and implement a software architecture to improve productivity in the development of rapidly deployable, robust, real-time situational awareness and response (R3SAR) applications. The approach is based on a modular cross-layered architecture that combines a data-centric descriptive programming model with an overlay-based communication model.
file
The objective of this research is to develop a trustworthy and high-performance neural-machine interface (NMI) that accurately interprets the user’s intended movements in real-time for neural control of artificial legs.
file
This project addresses the design of control systems where the principle disturbances are the result of routine human behavior, i.e.
file
This collaborative research project examines the role of software synthesis for monitoring and planning of autonomous sensors evolving on tidally forced rivers. The goal of the sensors is the coordinated sampling of currents and salinity to reconstruct the distributed state of the river. This project integrates the development of theory for the coordination of autonomous agents in motion-constrained environments, and of algorithms to perform motion planning tasks, with software tools for design, analysis, and code synthesis for implementation, as well as inverse modeling (i.e.
file
This CPS research focuses on collaborative driving, specifically in convoy type applications, and testing of hybrid systems. Specfically, this research investigates the development of the computational issues and testing aspects of a newer, more tactical hybrid state autonomous controller for multi-robot exploration scenarios for DSTO Multi Autonomous Ground-robotic International Challenge (MAGIC 2010) and the evaluation of th eautomotive convoy-based scenarios of the Grand Cooperative Driving Challenge (May 2011).
file
Augmenting dedicated control systems with
real-time sensor
and actuator networks poses a number of new challenges in control system design that cannot be addressed with traditional process
control methods, including: a) the handling of additional, potentially
asynchronous and/or delayed
measurements in the overall networked control system, and b) the
substantial increase in the number of process state variables, manipulated inputs, and measurements which may impede the ability of
centralized control systems to carry out real-time calculations within th
file
This research project addresses fundamental challenges in the verification and analysis of distributed hybrid systems. In particular, we are working to minimize the mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics currently supported in analysis.
file
The principal objective of this project is the development of novel control architectures and computationally efficient controller design algorithms for distributed cyber-physical systems with decentralized information infrastructures and limited communication capabilities. Interest is in distributed cyber-physical systems where the system components are able to communicate with one another.
file
Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical environment, so a formal model must integrate all of these concerns.
