5200 search results - page 913 / 1040 » Symbolic models for control systems |
156
click to vote
RTCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
A common computational model in distributed embedded systems is that the nodes exchange signals via a network. Most often a signal represents the state of some physical device and...
145
click to vote
SIAMCO
2000
15 years 5 months ago
2000
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include autonomous and...
152
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
254
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Graphs are widely used to model real world objects and their relationships, and large graph datasets are common in many application domains. To understand the underlying character...
161
click to vote
MICRO
2009
IEEE
16 years 6 days ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...