Sciweavers

99
Voted
HYBRID
2004
Springer
15 years 6 months ago
Discrete State Estimators for a Class of Hybrid Systems on a Lattice
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
Domitilla Del Vecchio, Richard M. Murray
92
Voted
HYBRID
2004
Springer
15 years 6 months ago
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
Patrick Lincoln, Ashish Tiwari
133
Voted
HYBRID
2004
Springer
15 years 6 months ago
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
Natasha A. Neogi
101
Voted
HYBRID
2004
Springer
15 years 6 months ago
Event-Driven Programming with Logical Execution Times
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. ...
HYBRID
2004
Springer
15 years 6 months ago
On the Optimal Control of Switch-Mode DC-DC Converters
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
Tobias Geyer, Georgios Papafotiou, Manfred Morari
105
Voted
HYBRID
2004
Springer
15 years 6 months ago
Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems
The genetic network regulating the biosynthesis of subtilin in Bacillus subtilis is modeled as a stochastic hybrid system. The continuous state of the hybrid system is the concentr...
Jianghai Hu, Wei Chung Wu, Shankar Sastry
74
Voted
HYBRID
2004
Springer
15 years 6 months ago
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
Timothy J. Hickey, David K. Wittenberg
104
Voted
HYBRID
2004
Springer
15 years 6 months ago
Stochastic Hybrid Systems: Application to Communication Networks
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
João P. Hespanha
83
Voted
HYBRID
2004
Springer
15 years 6 months ago
Synthesis for Idle Speed Control of an Automotive Engine
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
Andrea Balluchi, Federico Di Natale, Alberto L. Sa...
129
Voted
HYBRID
2004
Springer
15 years 6 months ago
Inference Methods for Autonomous Stochastic Linear Hybrid Systems
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, ...