Search Sciweavers | Sciweavers

27

HYBRID
2003
Springer

82views Control Systems» more HYBRID 2003»

14 years 4 months ago

We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and suﬃcient...

René Vidal, Alessandro Chiuso, Stefano Soat...

claim paper

Read More »

40

click to vote

HYBRID
2003
Springer

188views Control Systems» more HYBRID 2003»

Hybrid Modelling and Control of Power Electronics

14 years 4 months ago

Download iie.fing.edu.uy

Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...

Matthew Senesky, Gabriel Eirea, Tak-John Koo

claim paper

Read More »

40

click to vote

HYBRID
2003
Springer

123views Control Systems» more HYBRID 2003»

Model Checking LTL over Controllable Linear Systems Is Decidable

14 years 4 months ago

Download www.ee.ucla.edu

Abstract. The use of algorithmic veriﬁcation and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...

Paulo Tabuada, George J. Pappas

claim paper

Read More »

46

click to vote

TIME
2003
IEEE

116views Automated Reasoning» more TIME 2003»

Hybrid Logics on Linear Structures: Expressivity and Complexity

14 years 4 months ago

Download remote.science.uva.nl

We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain ﬁrst-order features which are algo...

Massimo Franceschet, Maarten de Rijke, Bernd-Holge...

claim paper

Read More »

35

click to vote

GLVLSI
2003
IEEE

150views VLSI» more GLVLSI 2003»

Repeater and current-sensing hybrid circuits for on-chip interconnects

14 years 4 months ago