Search Sciweavers | Sciweavers

: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...

Cristina Cerschi Seceleanu, Tiberiu Seceleanu

claim paper

Read More »

136

click to vote

HYBRID
2000
Springer

109views Control Systems» more HYBRID 2000»

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

15 years 9 months ago

Download sec.eecs.berkeley.edu

Luca Berardi, Elena De Santis, Maria Domenica Di B...

claim paper

Read More »

139

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers