Sciweavers

8190 search results - page 71 / 1638
» From Timed to Hybrid Systems
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
HYBRID
2009
Springer
13 years 11 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
IPPS
2007
IEEE
14 years 1 months ago
A Parallel Hybrid Method of GMRES on GRID System
Grid computing focuses on making use of a very large amount of resources from a large-scale computing environment. It intends to deliver high-performance computing over distribute...
Ye Zhang, Guy Bergére, Serge G. Petiton
APNOMS
2006
Springer
13 years 11 months ago
Hybrid Inference Architecture and Model for Self-healing System
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
Giljong Yoo, Jeongmin Park, Eunseok Lee
INFORMATICALT
2007
95views more  INFORMATICALT 2007»
13 years 7 months ago
Neuro-IG: A Hybrid System for Selection and Elimination of Predictor Variables and non Relevant Individuals
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...
Baghdad Atmani, Bouziane Beldjilali