17054 search results - page 257 / 3411 » Logics of Dynamical Systems |
198
click to vote
ICRA
2002
IEEE
16 years 5 days ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
200
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
208
click to vote
NIPS
2008
15 years 8 months ago
2008
Many nonlinear dynamical phenomena can be effectively modeled by a system that switches among a set of conditionally linear dynamical modes. We consider two such models: the switc...
169
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Ant
245
click to vote
MOVEP
2000
15 years 10 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...