Sciweavers

3458 search results - page 2 / 692
» Abstracting Control
Sort
View
CDC
2010
IEEE
14 years 4 months ago
Synthesis using approximately bisimilar abstractions: time-optimal control problems
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...
Antoine Girard
58
Voted
SYSTOR
2010
ACM
15 years 2 months ago
Plugging the hypervisor abstraction leaks caused by virtual networking
Alex Landau, David Hadas, Muli Ben-Yehuda
100
Voted
ENTCS
2008
110views more  ENTCS 2008»
14 years 9 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
Peter Selinger, Benoît Valiron
IWSOS
2011
Springer
14 years 14 days ago
Self-organized Middle-Out Abstraction
Sebastian von Mammen, Jan-Philipp Steghöfer, ...