844 search results - page 41 / 169 » Reachability in Linear Dynamical Systems |
194
Voted
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
119
click to vote
INFORMATICALT
2010
15 years 1 months ago
2010
Abstract. The paper deals with the recursive identification of dynamic systems having noninvertible output characteristics, which can be represented by the Wiener model. A special ...
159
Voted
IMC
2005
ACM
15 years 9 months ago
2005
ACM
During recent years, peer-to-peer (P2P) file-sharing systems have evolved in many ways to accommodate growing numbers of participating peers. In particular, new features have cha...
155
Voted
IJRR
2011
14 years 10 months ago
2011
We propose a constructive control design for stabilization of non-periodic trajectories of underactuated robots. An important example of such a system is an underactuated “dynam...
118
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...