Sciweavers

938 search results - page 2 / 188
» Mathematical Modelling the Ethnic System
Sort
View
RTSS
2003
IEEE
15 years 5 months ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
JSAC
2006
104views more  JSAC 2006»
15 years 5 hour ago
A mathematical model of noise in narrowband power line communication systems
This manuscript introduces a mathematically tractable and accurate model of narrowband power line noise based on experimental measurements. In this paper, the noise is expressed as...
Masaaki Katayama, Takaya Yamazato, Hiraku Okada
AMAI
2006
Springer
15 years 3 days ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth