475 search results - page 5 / 95 » An Approach to the Description and Analysis of Hybrid System... |
78
Voted
HYBRID
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
WSC
1997
14 years 11 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
70
Voted
JLP
2006
14 years 9 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
77
Voted
ICDAR
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper presents a region-representation scheme and comparative analysis methods based on a tesseral addressing system. The proposed scheme is described in the context of perfo...