844 search results - page 49 / 169 » Reachability in Linear Dynamical Systems |
149
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
107
click to vote
ENGL
2008
14 years 11 months ago
2008
This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode contro...
FMCO
2009
Springer
14 years 8 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
112
click to vote
IFM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
112
click to vote
WCE
2007
15 years 5 days ago
2007
—This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode con...