4693 search results - page 59 / 939 » Verifying Hybrid Systems |
95
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
95
Voted
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
107
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
98
Voted
IADIS
2004
15 years 1 months ago
2004
We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for...
110
click to vote
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...