586 search results - page 48 / 118 » Network invariants for real-time systems |
FAC
2008
13 years 8 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
BC
2002
13 years 7 months ago
2002
The operation of a hierarchical competitive network model (VisNet) of invariance learning in the visual system is investigated to determine how this class of architecture can solve...
CDC
2009
IEEE
14 years 22 days ago
2009
IEEE
— Stabilizability of linear time invariant networked systems of general structure is studied with an observer-based approach. In the assumption of piecewise constant controls an ...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...