500 search results - page 3 / 100 » Thread-Modular Abstraction Refinement |
CDC
2010
IEEE
13 years 8 days ago
2010
IEEE
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
MPC
1995
Springer
13 years 8 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
IFM
2009
Springer
13 years 3 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
CDC
2010
IEEE
13 years 8 days ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
CAV
2006
Springer
13 years 9 months ago
2006
Springer
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci