The activities of the group are related to the modelling, analysis and formal synthesis of some classes of artificial systems that are interesting from a technical point of view (production, computer, logistic, coordination, etc.). Usually more adequately modelled by means of discrete event systems formalisms (automata, Petri nets, process algebra, queuing networks...), the state explosion problem puts a limit to most of the analysis or synthesis techniques. Relaxations based on fluidification appear as a possible way to overcome these difficulties when largely populated systems or systems with high cadence are considered.

More specifically, the project will be mainly focused on the formalism of continuous and hybrid Petri nets, defined by relaxing the integrality constraint in a similar way as in fluid queuing networks.

Activities will be mainly related to the following aspects:

• Modelling (fluidisability of ­discrete event­ net models)
• Analysis and verification (both structural and model checking)
Optimization of design (placement and size of buffers, equipment selection, ...)
• Operation (centralized and modular control, scheduling)
• Observers design
• Discretization of “optimal” continuous trajectories
• Development of adequate computer tools for the modelling, analysis and synthesis.

---

PhD position

The main task for the accepted candidate will be to conduct research towards his/her PhD. The candidate is expected to complete the degree within 4 years.

Applicants must have MSc (or equivalent) degree in Automatic Control, Computer Science, Mathematics, Electrical/Electronics or Communications Engineering. Some knowledge on formal models on computer science, automatic control or operational research will be especially welcome.

The salary will be around 1200 EUR/month, with an incremental raise in the following years. Health insurance will also be provided.

The candidate could start on October-November 2008 or January 2009.

---

PostDoc position

The position will be for one year (and can be extended to a second one).

A PhD-degree in automatic control, computer science, or operations research is required. Knowledge on Petri nets, hybrid or piecewise linear systems will be especially welcome.

The salary will be around 2000 EUR/month (in case, with an incremental raise in the following year). Health insurance will also be provided.

The candidate could start on October-November 2008 or January 2009.

---

Contact:

Applicants should send by email their CVs before 8th September 2008 to:

Prof. Manuel Silva (silvaunizar [dot] es)
with copy to Dr. Cristian Mahulea (cmahuleaunizar [dot] es)

Departamento de Informática e Ingeniería de Sistemas, and
Instituto de Investigación en Ingeniería de Aragón (I3A)
Universidad de Zaragoza

María de Luna, 1
50.018 ZARAGOZA (Spain)