Contributors

Knut Åkesson

Automation

Department of Signals and Systems

Chalmers University of Technology

Gothenburg, Sweden

Vincent Augusto

Department Healthcare Engineering

École Nationale Supérieure des Mines de Saint-Étienne

Saint-Étienne, France

Ton J.J. van den Boom

Delft Center for Systems and Control

Delft University of Technology

Delft, the Netherlands

Thomas Brunsch

Control Systems Group

Technical University of Berlin

Berlin, Germany

and

Laboratory in Automated Systems Engineering

University of Angers

Angers, France

Maria Paola Cabasino

Department of Electrical and Electronic Engineering

University of Cagliari

Cagliari, Italy

Christos G. Cassandras

Division of Systems Engineering

and

Center for Information and Systems Engineering

Boston ...

Get Formal Methods in Manufacturing now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.