3458 search results - page 416 / 692 » Abstracting Control |
157
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
135
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
125
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
143
click to vote
ICA3PP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes an object-oriented design and efficient implementation of 3G-324M protocol stack for real-time multimedia transmission. In particular, we discuss the...
141
click to vote
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...