S. G. Cheong

Learn More
This lecture discusses interprocedural dataflow analysis. We describe the " functional approach " to interprocedural dataflow analysis pioneered by Sharir and Pnueli [6], and show some connections to the kind of path problems discussed in the previous two lectures. We will also look at the family of so-called " gen/kill problems " because they are the(More)
— We present a continuous feedback stabilizer for nonlinear systems in the strict-feedback form, whose chained integrator part has the power of positive odd rational numbers. Since the power is not restricted to be larger than or equal to one, the linearization of the system at the origin may fail. Nevertheless, we will show that the closed-loop system is(More)
  • 1