model-based design

file

Visible to the public Compositional System Modeling with Interfaces - COSMOI

Submitted by tripakis on Mon, 11/10/2014 - 2:52pm. Contributors:

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

file

Visible to the public Precise Piecewise Affine Models from Input Output Data

Submitted by Rajeev Alur on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

Formal design and analysis of embedded control software relies on mathematical models of dynamical systems, and such models can be hard to obtain. In this paper, we focus on automatic construction of piecewise affine models from input-output data.

file

Visible to the public Science of Cyber-Physical System Integration

Submitted by Xenofon Koutsoukos on Mon, 11/10/2014 - 1:26pm. Contributors:

Abstract:

The objective of this project is to develop a science of integration for cyber physical systems (CPS). The proposed research program has three focus areas: (1) foundations, (2) tools and tool architectures, (3) systems/experimental research. The project has pushed along several frontiers towards these overall objectives. In the following, we describe selected accomplishments:

file

Visible to the public CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

Submitted by sprinkle on Fri, 11/07/2014 - 1:17pm. Contributor:

Abstract:

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

file

Visible to the public Science of Cyber-Physical System Integration

Submitted by Xenofon Koutsoukos on Tue, 10/29/2013 - 10:45am. Contributors:

Abstract:

The tight integration of physical and information processes in CPS necessitates the development of a new systems science, which is simultaneously computational and physical. Dynamics, modeling, feedback, and control are central issues in CPS research. The unique challenges in CPS integration emerge from the heterogeneity of components and interactions.