123 search results - page 16 / 25 » Optimizing Bounded Model Checking for Linear Hybrid Systems |
106
click to vote
AUTOMATICA
1999
15 years 2 days ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
109
Voted
QSHINE
2005
IEEE
15 years 6 months ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
83
Voted
ICDT
1999
ACM
15 years 4 months ago
1999
ACM
In data integration systems, queries posed to a mediator need to be translated into a sequence of queries to the underlying data sources. In a heterogeneous environment, with sour...
136
Voted
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— A receding horizon control algorithm, originally proposed for tracking best-possible steady-states in the presence of overly stringent state and/or input constraints, is analyz...
111
Voted
ESSMAC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We consider a linear system, such as an estimator or a controller, in which several signals are transmitted over wireless communication channels. With the coding and medi...