Biochemical systems theory (BST) is the foundation for a set of analytical andmodeling tools
that facilitate the analysis of dynamic biological systems. This paper depicts major …

When attempting to determine how to respond optimally to a large-scale emergency, the
ability to predict the consequences of certain courses of action in silico is of great utility …

We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

We present a computational framework for automatic synthesis of a feedback control
strategy for a discrete-time piecewise affine (PWA) system from a specification given as a …

Biochemical systems are among of the oldest application areas of mathematical modeling.
Spanning a time period of over one hundred years, the repertoire of options for structuring a …

Living cells are extremely well-organized autonomous systems, consisting of discrete
interacting components. Key to understanding and modeling their behavior is modeling their …

Motivation: In this paper we propose to use recent developments in knowledge
representation languages and reasoning methodologies for representing and reasoning …

This paper considers the problem of controlling discrete-time linear systems from
specifications given as formulas of syntactically co-safe linear temporal logic over linear …

We consider the following problem: given a linear system and an LTL−− X formula over a set
of linear predicates in its state variables, find a feedback control law with polyhedral bounds …

In this technical note, we study temporal logic properties of trajectories of discrete-time
piecewise affine (PWA) systems. Specifically, given a PWA system and a linear temporal …