Sciweavers

3565 search results - page 12 / 713
» Modeling a system controller for timing analysis
Sort
View
RTSS
1993
IEEE
15 years 3 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
ETFA
2008
IEEE
15 years 6 months ago
Component based colored Petri net model for Ethernet based networked control systems
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
Abouelabbas Ghanaim, Georg Frey
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
15 years 4 months ago
Towards STEM control: Modeling framework and development of a sensor for defocus control
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
Arturo Tejada, Wouter Van den Broek, Saartje W. va...
APLAS
2005
ACM
15 years 5 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot