|
 |
Synthesis of reactive systems
Orna Kupferman
Hebrew University and UC Berkeley
Monday, October 21st, 2002, 4:00pm-5:00pm
540AB Cory Hall (DOP Center Classroom)
|
Abstract
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.
Speaker
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.
|
