5200 search results - page 71 / 1040 » Symbolic models for control systems |
107
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
112
click to vote
TII
2008
15 years 1 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
110
click to vote
INFORMATICALT
2008
15 years 2 months ago
2008
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...
112
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
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 ...
135
click to vote
HPCN
2000
Springer
15 years 5 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...