1

Many modern engineering systems can be mathematically modeled as hybrid systems. For many such systems, there may be uncertain …

We propose a methodology, and its embodiment into a design flow, to realize execution platforms for high-performance building …

We propose a system-level design flow for building automation and control (BAC) systems. The input to the design flow is a high level …

We present a model-based environment for the probabilistic analysis of systems operating under uncertain conditions. This uncertainty …

In this paper we develop a copula based approximation framework for scalable analysis of Stochastic Automata Networks (SAN) arising in …

We provide an optimization oriented formalization of correct-by-construction design following the principles of Platform-Based Design.1 …

A new generation of aerospace systems has introduced more-electric technologies and highly coupled architectures, leading to a …

We motivate the need for a cyber-physical system analysis and design tool that embraces uncertainty as key characteristic of these type …

Hybrid systems are a useful abstraction for systems that have a combination of discrete and continuous dynamics. For typical examples …

We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We …