Sciweavers

49 search results - page 5 / 10
» Piecewise Modelling with State Subtypes
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
13 years 8 months ago
A mathematical framework for the control of piecewise-affine models of gene networks
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
Etienne Farcot, Jean-Luc Gouzé
AUTOMATICA
2005
178views more  AUTOMATICA 2005»
13 years 7 months ago
Spacecraft attitude control using explicit model predictive control
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
Øyvind Hegrenæs, Jan Tommy Gravdahl, ...
CSL
2004
Springer
13 years 7 months ago
A mixed-level switching dynamic system for continuous speech recognition
9 A two-level mixture linear dynamic system model, with frame-level switching parameters in the obser10 vation equation and with segment-level switching parameters in the target-d...
Jeff Z. Ma, Li Deng
HYBRID
2003
Springer
14 years 1 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin