4693 search results - page 128 / 939 » Verifying Hybrid Systems |
97
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
110
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
ICECCS
2000
IEEE
15 years 5 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
85
Voted
KES
2005
Springer
15 years 6 months ago
2005
Springer
: In this paper we present research works on non-intuitive and low-efficient negotiations between agents in agent based system. We find recommendation techniques as a suitable meth...
133
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...