Sciweavers

640 search results - page 22 / 128
» On Timed Simulation Relations for Hybrid Systems and Composi...
Sort
View
WSC
1997
13 years 9 months ago
SmartATMS: A Simulator for Air Traffic Management Systems
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire...
CEC
2007
IEEE
13 years 11 months ago
Prediction of protein interactions by combining genetic algorithm with SVM method
This paper proposes a novel hybrid GA/SVM method that can predict the interactions between proteins intermediated by the protein-domain relations. Firstly, we represented a protein...
Bing Wang, Lu-Sheng Ge, Wen-You Jia, Li Liu, Fu-Ch...
KI
2010
Springer
13 years 2 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
ENTCS
2008
109views more  ENTCS 2008»
13 years 7 months ago
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
Ezio Bartocci, Flavio Corradini, Maria Rita Di Ber...
TSMC
2008
94views more  TSMC 2008»
13 years 7 months ago
Queuing Network Modeling of a Real-Time Psychophysiological Index of Mental Workload - P300 in Event-Related Potential (ERP)
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
Changxu Wu, Yili Liu, C. M. Quinn-Walsh