33 search results - page 1 / 7 » On Systematic Simulation of Open Continuous Systems |
HYBRID
2003
Springer
13 years 10 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...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
HCI
2007
13 years 6 months ago
2007
Participative software systems are a new class of software systems whose development does not end at the deployment but requires continued user participation and contribution. They...
AAAI
1996
13 years 6 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
HYBRID
1999
Springer
13 years 9 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...