5200 search results - page 318 / 1040 » Symbolic models for control systems |
168
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...
175
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
188
click to vote
RP
2009
Springer
16 years 20 days ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
175
click to vote
TSP
2012
14 years 1 months ago
2012
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
213
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...