|
Electronic Systems Design Seminar
|
|
In system synthesis, we transform a desired specification into a
system that is guaranteed to satisfy the specification. The talk will
survey the development of synthesis algorithms for reactive
systems. We will start with early work on synthesis of closed systems
(which do not interact with an environment, making the synthesis
problem similar to the satisfiability problem) and will reach
synthesis of open systems (which interact with an environment, making
the synthesis problem similar to the problem of generating winning
strategies in two-player games), synthesis of open systems with
incomplete information (where the system cannot read all the signals
that the environment generates), and synthesis of distributed
systems. The talk assumes no previous knowledge in specification and
synthesis.
This is a joint work with Moshe Vardi.
Orna Kupferman is a Senior Lecturer in the School of Computer Science and Engineering at the Hebrew University in Israel. Her research interests are in formal verification of reactive systems. Orna received her B.Sc. from the Technion in 1991, and her PhD from the Technion in 1995. Orna will spend this year in UC Berkeley.