Search Sciweavers | Sciweavers

101 search results - page 2 / 21

» Controller Synthesis for MTL Specifications

click to vote

AUTOMATICA
2008

59views more AUTOMATICA 2008»

Supervisory control of modular systems with global specification languages

13 years 5 months ago

Download www.math.cas.cz

The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...

Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...

claim paper

Read More »

click to vote

DAC
2006
ACM

96views Computer Architecture» more DAC 2006»

Rapid estimation of control delay from high-level specifications

14 years 6 months ago

Download web.ics.purdue.edu

We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...

Gagan Raj Gupta, Madhur Gupta, Preeti Ranjan Panda

claim paper

Read More »

click to vote

ICCD
1993
IEEE

124views Hardware» more ICCD 1993»

Synthesis of Controllers from Interval Temporal Logic Specification

13 years 9 months ago

Download www.ie.u-ryukyu.ac.jp

for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...

Masahiro Fujita, Shinji Kono

claim paper

Read More »

click to vote

HYBRID
2007
Springer

117views Control Systems» more HYBRID 2007»

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

13 years 11 months ago