106 search results - page 10 / 22 » Verification of Hybrid Systems via Mathematical Programming |
134
Voted
IJCSA
2006
15 years 1 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
113
click to vote
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
138
Voted
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
132
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
108
Voted
ISF
2008
15 years 1 months ago
2008
In this study, a mathematical model is suggested concerning the location of VHF/UHF frequency radio jammer systems to the terrain parts to conduct single frequency or sequential fr...