Search Sciweavers | Sciweavers

This paper deals with just in time control of (max, +)-linear systems. The output tracking problem, considered in previous studies, is generalized by considering additional constr...

Laurent Houssin, Sébastien Lahaye, Jean-Lou...

claim paper

Read More »

26

click to vote

DEDS
2002

106views more DEDS 2002»

Efficient Computation and Representation of Large Reachability Sets for Composed Automata

13 years 7 months ago

Download ls4-www.informatik.uni-dortmund.de

We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...

Peter Buchholz, Peter Kemper

claim paper

Read More »

24

click to vote

DEDS
1998

82views more DEDS 1998»

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems

13 years 7 months ago

Download www.cs.technion.ac.il

In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...

Michael Heymann, Feng Lin, George Meyer

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers