Course Catalog 2009-2010 Basic Basic Pori International Postgraduate Open University |Degrees|     |Study blocks|     |Courses|

Person responsible

Corina Popescu, Lastra Jose Martinez

Implementations

No implementations

Requirements

Written Exam AND Laboratory exercises AND course assignment(s)

Principles and baselines related to teaching and learning

-

Learning outcomes

Students will learn formal languages and methods that can be applied in factory automation in areas such as: control modeling, verification, validation, and manufacturing planning.

Content

Content	Core content	Complementary knowledge	Specialist knowledge
1.	General introduction to formal languages and methods and their utilization in dynamic discrete systems.
2.	Formal languages for modeling factory automation systems	Petri Nets, Finite Automaton
3.	Application of formal methods in factory automation systems
4.	Formal verification and validation of factory automation systems: Requirements specification languages, Model-checking, Theorem proving

Evaluation criteria for the course

Course assingment gives 30% of the final grade Laboratory works: 30% Exam: 40%

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course

Study material

Type	Name	Author	ISBN	URL	Edition, availability, ...	Examination material	Language
Book	Modeling, Simulation, and Control of Flexible Manufacturing Systems	Zhou, M; Venkatesh, K.	981-02-3029-X				English
Book	Petri Nets for Systems Engineering	Girault and Valk			Springer 2003		English
Book	Petri Nets in Flexible and Agile Automation	Zhou M.			Kluwer 1995		English
Book	Principles of Model Checking	Baier and Katoen	978-0-262-02649-9		MIT press 2008		English
Lecture slides							English
Other literature					selected papers		English

Prerequisites

Correspondence of content

There is no equivalence with any other courses

Last modified	09.04.2010
Modifier	Corina Popescu