Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Abstract:
The research objective of this project is to bridge two disparate paths to the control of hybrid dynamical systems—namely, symbolic model-based and Lyapunov analysis-based approaches—via convex programming in order to address major challenges in hybrid control. Hybrid systems are characterized by the presence of both continuous dynamics and discrete logic that interact with each other.
Submitted by Heath Hofmann on November 10th, 2014
Abstract:
The verification of hybrid systems requires ways of handling both the discrete and continuous dynamics, e.g., by proofs, abstraction, or approximation. Fundamentally, however, the study of the safety of hybrid systems can be shown to reduce constructively to the problem of generating invariants for their differ- ential equations. We recently focused on this core problem. We study the case of algebraic invariant equation, i.e. invariants described by a polynomial equation of the form p = 0 for a polynomial p.
Submitted by Anonymous on November 10th, 2014
Abstract:
The objective of this project is to develop a formal methods approach to traffic management. 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.
Submitted by Murat Arcak on November 10th, 2014
Abstract:
Human users are integral to the operation of safety-‐critical CPS. The goal of this project is to model and analyze the actions of human users along with possible mistakes that may appear in these interactions. We seek to develop approaches that will help us understand the effect of human operator mistakes on the overall system correctness. Our focus is on medical infusion pumps used to deliver drugs to patients.
Submitted by Sriram Sankaranarayanan on November 10th, 2014
Abstract:
The overall objective of this project is to create a general CPS design-science that makes design of every CPS simpler, faster and more dependable, while at the same time reducing the cost and the required expertise level. In order to master this challenge, we address four fundamental and closely related issues:
Submitted by Anonymous on November 10th, 2014
Abstract:
During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. This entails two interconnected research goals in the research areas of system design and system verification, which tie together research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems:
Submitted by Andre Platzer on November 10th, 2014
Abstract:
The aims of this project are to contribute the fundamental physical and algorithmic building blocks of a novel cyber-‐physical two-‐way communication platform designed to enable accurate training and monitoring of canines. The project efforts lie at the intersection of computer science, electrical engineering, and veterinary behavior.
Submitted by David L. Roberts on November 10th, 2014
Abstract:
Researchers from the University of Illinois at Urbana-Champaign in collaboration with physicians and nurses from Intensive Care Unit, Carle Foundation Hospital are developing a new initiative on engineering next generation of medical systems. This project is part of the initiative and focuses on exploring the efficient and safe operation of integrated Emergency Cyber Physical Human (ECPH) systems in emergency scenarios from the Intensive Care Unit (ICU) environment. The key requirements are:
Submitted by Lui Sha on November 10th, 2014
Abstract:
The electric power grid is a critical infrastructure that is vulnerable to physical and cyber attacks. As a result, data describing grid topology and components is considered sensitive information. There is also increasing need to foster cooperation among the participants in microgrid-enabled electric marketplace.
Submitted by Parmesh Ramanathan on November 10th, 2014
Abstract:
This project's overall objective is to enable assertion-driven development and debugging of cyberphysical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, especially to aid system validation. This project will show how physical system models can be used to create and apply assertions to help produce methods and tools that will facilitate verification and validation of cyberphysical systems.In the first year of this project, an emp
Submitted by Raul Longoria on November 10th, 2014