Sciweavers

1146 search results - page 56 / 230
» Periodically Controlled Hybrid Systems
Sort
View
104
Voted
TCAD
2010
111views more  TCAD 2010»
14 years 10 months ago
Combining Control and Data Abstraction in the Verification of Hybrid Systems
Xavier Briand, Bertrand Jeannet
FROCOS
2005
Springer
15 years 9 months ago
Hybrid CSP Solving
Eric Monfroy, Frédéric Saubion, Tony...
127
Voted
RTSS
1999
IEEE
15 years 7 months ago
Deriving Deadlines and Periods for Real-Time Update Transactions
Typically, temporal validity of real-time data is maintained by periodic update transactions. In this paper, we examine the problem of period and deadline assignment for these upda...
Ming Xiong, Krithi Ramamritham
HYBRID
1997
Springer
15 years 7 months ago
On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
Michael S. Branicky
122
Voted
HYBRID
2004
Springer
15 years 8 months ago
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
Alexandre M. Bayen, Robin L. Raffard, Claire Tomli...