3591 search results - page 261 / 719 » Typing linear constraints |
192
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
186
click to vote
ISCAS
2003
IEEE
16 years 16 days ago
2003
IEEE
Quadraturemirror filter(QMF)bank with multi-criterion constraints suchas minimal aliasing and/or minimal error coding is amongthe most important problems in filter bank design, fo...
197
click to vote
PG
2003
IEEE
16 years 16 days ago
2003
IEEE
We present an algorithm to construct a tight bounding polyhedron for a recursive procedural model. We first use an iterated function system (IFS) to represent the extent of the p...
178
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
232
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...