123 search results - page 9 / 25 » Optimizing Bounded Model Checking for Linear Hybrid Systems |
93
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
127
Voted
CONCUR
1997
Springer
15 years 4 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
120
Voted
DEDS
1998
15 years 1 days ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
106
Voted
DC
2007
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
15 years 10 days ago
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...
108
click to vote
ICINCO
2004
15 years 1 months ago
2004
: We introduce a class of quasi-linear models for stochastic dynamics, called moment-linear stochastic systems (MLSS). We formulate MLSS and analyze their dynamics, as well as disc...