4693 search results - page 386 / 939 » Verifying Hybrid Systems |
201
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
156
Voted
SERP
2003
15 years 8 months ago
2003
In many cases, product families are established on top of a successful pilot product. While this approach provides an option to measure many concrete attributes like performance a...
164
click to vote
ICMAS
2000
15 years 8 months ago
2000
This paper describes an analysis of benevolent agents in multiagent systems (MAS). We first present a definition and motivation for benevolence that is appropriate for MAS. We the...
158
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...
184
click to vote
CSUR
1999
15 years 6 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...