Sciweavers

3565 search results - page 226 / 713
» Modeling a system controller for timing analysis
Sort
View
IJCAI
1997
15 years 5 months ago
A Causal Time Ontology for Qualitative Reasoning
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizogu...
EMSOFT
2006
Springer
15 years 7 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
ISSS
2000
IEEE
94views Hardware» more  ISSS 2000»
15 years 8 months ago
A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Erns...
DICTA
2003
15 years 5 months ago
Real-Time Detection, Registration and Recognition Using Pixel-Level Fusion of Active/Passive Imagery
  -  A  system  has  been  developed  whereby  active  ladar  and  passive  electro-optic  imaging  data  are  aligned  in  hardware  at  the  pixel  level. ...
Alan Steinberg, Robert Pack
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
15 years 10 months ago
Dynamical structure analysis of sparsity and minimality heuristics for reconstruction of biochemical networks
— Network reconstruction, i.e. obtaining network structure from input-output information, is a central theme in systems biology. A variety of approaches aim to obtaining structur...
Russell Howes, Lee John Eccleston, Jorge M. Goncal...