1380 search results - page 1 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
IDA
1999
Springer
13 years 8 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
DSN
2007
IEEE
13 years 10 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
MFCS
1994
Springer
13 years 8 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
PADL
2004
Springer
13 years 9 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
ICTAI
2008
IEEE
13 years 10 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...