Search Sciweavers | Sciweavers

14190 search results - page 144 / 2838

» Abstractions for hybrid systems

173

click to vote

CAV
2004
Springer

93views Hardware» more CAV 2004»

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures

15 years 12 months ago

Download cc.ee.ntu.edu.tw

—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...

Farn Wang

claim paper

Read More »

113

click to vote

RTSS
2009
IEEE

148views Control Systems» more RTSS 2009»

Component-Based Abstraction Refinement for Timed Controller Synthesis

16 years 1 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper

Read More »

184

click to vote

LCPC
2004
Springer

155views System Software» more LCPC 2004»

Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics

15 years 12 months ago

Download www.cs.utsa.edu

Qing Yi, Daniel J. Quinlan

claim paper

Read More »

click to vote

ICEIS
2003
IEEE

77views Information Technology» more ICEIS 2003»

A Unified Tool for Editing Information of Different Levels of Abstraction

15 years 11 months ago

Download www.iacp.dvo.ru

Vassili Orlov, Alexander Kleschev

claim paper

Read More »

147

click to vote

JAIR
2011

117views more JAIR 2011»

Sequential Diagnosis by Abstraction

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers