4164 search results - page 535 / 833 » Timing model reduction for hierarchical timing analysis |
209
click to vote
IJCAI
2001
15 years 8 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
122
click to vote
JSCIC
2008
15 years 6 months ago
2008
Abstract An efficient and accurate numerical scheme is proposed, analyzed and implemented for the Kawahara and modified Kawahara equations which model many physical phenomena such ...
164
click to vote
TIT
2008
15 years 6 months ago
2008
Abstract-- Distributed detection of information flows by timing analysis is considered. Timing measurements are subject to perturbations and the insertion of chaff noise. Moreover,...
163
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
197
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...