695 search results - page 16 / 139 » Symbolic Simulation of Hybrid Systems |
CAV
1990
Springer
13 years 12 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
INFORMATICALT
2007
13 years 7 months ago
2007
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
HYBRID
2003
Springer
14 years 1 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...
ISSAC
2005
Springer
14 years 1 months ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
HYBRID
2001
Springer
14 years 11 days ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...