15840 search results - page 480 / 3168 » The Control of Synchronous Systems |
201
Voted
FM
2008
Springer
15 years 8 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
191
Voted
TSMC
2010
15 years 1 months ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...
199
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...
163
click to vote
IJRR
2008
15 years 6 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...