HYBRID
2010
Springer
13 years 12 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
HYBRID
2010
Springer
13 years 12 months ago
2010
Springer
RTSS
2009
IEEE
14 years 6 days ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
HYBRID
2009
Springer
14 years 8 days ago
2009
Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
HYBRID
2009
Springer
14 years 8 days ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
HYBRID
2009
Springer
14 years 8 days ago
2009
Springer
HYBRID
2009
Springer
14 years 8 days ago
2009
Springer
This paper studies distributed networked systems with data dropouts and transmission delays. We propose a decentralized eventtriggering scheme, where a subsystem broadcasts its sta...
HYBRID
2009
Springer
14 years 8 days 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 ...
HYBRID
2009
Springer
14 years 8 days ago
2009
Springer
To reduce the amount of data transfer in networked control systems and wireless sensor networks, measurements are usually taken only when an event occurs, rather than at each synch...
HYBRID
2009
Springer
14 years 8 days ago
2009
Springer
In this paper, we analyze the problem of finding a periodic schedule for the wake-up times of a set of nodes in a Wireless Sensor Network that optimizes the coverage of the region...