503 search results - page 45 / 101 » Verifying Quantitative Properties Using Bound Functions |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
AUTOMATICA
2004
14 years 9 months ago
2004
Families of semipermeable curves in differential games with the homicidal chauffeur dynamics are studied both from theoretical and computational points of view. The knowledge of s...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
Social networks provide interesting algorithmic properties that can be used to bootstrap the security of distributed systems. For example, it is widely believed that social networ...