Models having two kinds of components that produce the same or similar results.
video
Submitted by rvidal on Wed, 10/30/2013 - 3:29pm
video
Submitted by Claire Tomlin on Wed, 10/30/2013 - 1:59pm
video
Submitted by Christos Cassandras on Wed, 10/30/2013 - 1:56pm
video
Submitted by krogh on Wed, 10/30/2013 - 1:49pm
video
Submitted by Andre Platzer on Wed, 10/30/2013 - 1:19pm
file
Abstract:
Analytically predicting the behavior of physical systems is generally not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed--form analytical solutions even simple systems. This limitation makes experimentation the primary modality for designing new cyber--physical systems.
file
Abstract:
Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly the evolution of intelligent features. A primary obstacle in enabling intelligent buildings is their highly distributed and diverse nature.
file
Abstract:
A hybrid system is a dynamical model that describes the coupled evolution of both continuous- valued variables and discrete patterns. A prime example of such a system is a power electronic circuit, where the semiconductor transistors behave as ideal switches whose switching actions effectively change the circuit topology (i.e., the discrete pattern) that in turn defines the dynamics of currents and voltages (i.e., the continuous variables) and hence the switching actions.
file
Abstract:
Current methods for design and verification of cyber-physical systems (CPS) lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Heterogeneous models describe different aspects of a CPS at varying levels of abstraction and using different formal languages. This prevents engineers from detecting inconsistencies among models and reasoning at the system level to verify specifications at design time.
