Learn More
Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must(More)
Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its design requirements, particularly the safety and correctness requirements of the system. In this paper, we develop a framework for generating tests from hybrid systems models.(More)
Gene regulatory networks capture the interactions between genes and other cell substances, resulting from the fundamental biological process of transcription and translation. In some applications, the topology of the regulatory network is not known, and has to be inferred from experimental data. The experimental data consist of expression levels of the(More)
In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution traces of the system or the simulation thereof. This family of methods is very appealing because of the simplicity of its execution, the possibility of having a partial verification, and its(More)
— This paper presents a color-science-based approach to feedback control design of color-tunable LED lighting systems for smart spaces. The general design problem is posed as the minimization of a cost function consisting of metrics that capture light quality, energy consumption and human comfort. A linear light transport map is used for modeling and(More)
Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we extend this abstraction framework to hybrid systems. Using the notion of simulation functions, we develop a characterization of approximate simulation relations which can be used for hybrid systems(More)
This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for(More)
In this paper, we describe how motile microorganisms can be integrated with engineered microstructures to develop a micro-bio-robotic system. SU-8 microstructures blotted with swarmer cells of Serratia Marcescens in a monolayer are propelled by the bacteria in the absence of any environmental stimulus. We call such microstructures with bacteria(More)
— Gene regulatory networks capture interactions between genes and other cell substances, resulting in various models for the fundamental biological process of transcription and translation. The expression levels of the genes are typically measured in mRNA concentrations in micro-array experiments. In a so called genetic perturbation experiment, small(More)
The reduction of dynamical systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically performed in an "exact" manner-as is the case with mechanical systems with symmetry-which, unfortunately, limits the type of systems to which it can be applied. The goal of this(More)