96 search results - page 8 / 20 » A symbolic approach to controlling piecewise affine systems |
93
Voted
FBT
1998
15 years 1 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
106
Voted
FDL
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
BMCBI
2008
15 years 17 days ago
2008
Background: High-density short oligonucleotide microarrays are a primary research tool for assessing global gene expression. Background noise on microarrays comprises a significan...
115
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...