5200 search results - page 913 / 1040 » Symbolic models for control systems |
RTCSA
2000
IEEE
14 years 2 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...
SIAMCO
2000
13 years 10 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...
WWW
2001
ACM
14 years 10 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...
SIGMOD
2008
ACM
14 years 10 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...
MICRO
2009
IEEE
14 years 4 months 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...