4434 search results - page 493 / 887 » On the Composition of Hybrid Systems |
206
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
190
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
188
click to vote
CSLP
2004
Springer
16 years 8 days ago
2004
Springer
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...
238
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
198
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a framework for derivation of several forward dynamics algorithms used in robotics. The framework is based on formulating an augmented system and performing block matr...