Table 4 Experiments for overshoot only.

From: Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response

Name

FWL

Result

Controller

Attempts

ET (dd:hh:mm:ss)

Buck converter

\(\langle 4,4 \rangle\)

SUCCESFUL

[0.250000, 0.062500]

1

1:16:12:00

Buck converter

\(\langle 8,8 \rangle\)

SUCCESFUL

[0.4726562500, 0.0078125000]

1

1:00:20:00

Buck converter

\(\langle 16,16 \rangle\)

SUCCESFUL

[0.449462890639727997 0.011352539062871999]

1

1:05:50:00

Boost converter

\(\langle 4,4 \rangle\)

SUCCESFUL

[0.312500, 0.250000]

1

0:03:19:00

Boost converter

\(\langle 8,8 \rangle\)

SUCCESFUL

[0.3125000000, 0.2890625000]

1

0:03:51:00

Boost converter

\(\langle 16,16 \rangle\)

SUCCESFUL

[0.314514160166555978, 0.312530517588366030]

1

0:03:37:00

  1. It contains information about the converter name, FWL format, synthesis result, the synthesized controller, number of attempts to synthesize the controller, and total synthesis time.
Back to article page