Sciweavers

464 search results - page 1 / 93

» hybrid 2009

14

HYBRID
2009
Springer

102views Control Systems» more HYBRID 2009»

Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets

13 years 12 months ago

Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets

Download users.ece.gatech.edu

Axel Schild, Magnus Egerstedt, Jan Lunze

claim paper

Read More »

11

HYBRID
2009
Springer

110views Control Systems» more HYBRID 2009»

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

13 years 12 months ago

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

Download www.suzlab.nuem.nagoya-u.ac.jp

Yuichi Tazaki, Jun-ichi Imura

claim paper

Read More »

5

HYBRID
2009
Springer

123views Control Systems» more HYBRID 2009»

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

13 years 12 months ago

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

Download www.rennes.supelec.fr

Gang Zheng, Antoine Girard

claim paper

Read More »

17

SEMWEB
2009
Springer

164views Internet Technology» more SEMWEB 2009»

AROMA Results for OAEI 2009

13 years 11 months ago

AROMA Results for OAEI 2009

Download www.dit.unitn.it

This paper presents the results obtained by AROMA for its second participation to OAEI. AROMA is an hybrid, extensional and asymmetric ontology alignment method that makes use of t...

Jérôme David

claim paper

Read More »

15

SEMWEB
2009
Springer

152views Internet Technology» more SEMWEB 2009»

Lily: Ontology Alignment Results for OAEI 2009

13 years 11 months ago

Lily: Ontology Alignment Results for OAEI 2009

Download www.dit.unitn.it

This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...

Peng Wang, Baowen Xu

claim paper

Read More »

« Prev « First page 1 / 93 Last » Next »