Modeling, Control and Hybrid Systems
Keywords |
Classification |
Keyword |
OFICIAL |
Automation, Control & Manufacturing Syst. |
OFICIAL |
Basic Sciences for Electrotechnology |
Instance: 2009/2010 - 1S
Cycles of Study/Courses
Acronym |
No. of Students |
Study Plan |
Curricular Years |
Credits UCN |
Credits ECTS |
Contact hours |
Total Time |
MIEEC |
20 |
Syllabus since 2007/2008 |
5 |
- |
6 |
63 |
160 |
Teaching language
Portuguese
Objectives
Aims: Acquisition of essential knowledge and skills to apply analysis methods of hybrid systems, which dynamic is simultaneously time-driven and event-driven. Design of control systems.
Program
1. Introduction
1.1 Concept of system
1.2 Example of dynamic systems control of different complexities
1.3 Meaning of “system control”
1.4 Definition and representation of systems and signals
2. State machines and their composition
2.1 Characteristics and representation
2.2 Types of state machines
2.3 Simulation and bisimulation
2.4 Types of composition
2.5 Design of controllers
2.6 Mini-assignment on finite state machines using MATLAB and StateFLow
3. Linear Systems
3.1 Linear system: definition
3.2 Representation of linear systems (direct or not)
3.3 SISO; MIMO
3.4 Observability and controllability- relationship with non-determinism input output and with verification
3.5 Mini-assignment on linear systems using a toolbox from MATLAB
4. Models of hybrid systems
4.1 Articulation of dynamics event-driven and time-driven
4.2 Types of models
4.3 Time automaton
4.4 Formal model
4.5 Examples
4.6 Simulation of hybrid systems
4.7 Mini-assignment on models of hybrid-systems using MATLAB and StateFlow
5. Design of controllers
5.1 Supervisors
5.2 Security problems
5.3 Specification
5.4 Synthesis techniques
5.5 Exercises and mini-assignment on synthesis of hybrid systems using a toolbox from MATLAB
Mandatory literature
E. A. Lee e P. Varaiya; Structure and Interpretation of Signals and Systems , Addison-Wesley, 2003
Teaching methods and learning activities
Theoretical classes: presentation of themes
Theoretical-practical classes: exercise preparation and resolution (Homework and mini-assignments). Feedback on the work done
Evaluation Type
Distributed evaluation with final exam
Eligibility for exams
Students have to attend to classes and reach a minimum mark of 3 in the mini-assignments, to be admitted to exams.
Calculation formula of final grade
Final Mark will be based on two components: continuous assessment and final exam
Final Exam is a written exam which last 2 hours.
Final Exam is worth 60% of the Final Mark, while the reports of the mini-assignments and respective discussion are worth 40% of the Final Mark.
Examinations or Special Assignments
Students who do not need to attend to classes (according to line a), b) and c) of Article 4 of General Evaluation Rules of FEUP 2002), can attend to a written exam, which will not last more than 3 hours. It will take place an exam with about the same length for students who want to improve their marks.
Special assessment (TE, DA, ...)
Students who do not need to attend to classes (according to line a), b) and c) of Article 4 of General Evaluation Rules of FEUP 2002), can attend to a written exam, which will take place at the normal season of exams.
Classification improvement
Students can improve their grades according to Article 10 line 1 of General Evaluation Rules of FEUP, if they enroll for the new exam in time.