DESTC: Newsletter - February, 2007
IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE
ON DISCRETE EVENT SYSTEMS |
| Editor: |
Ryan J. Leduc
Chair, IEEE CSS Technical Committee on DES
Dept. of Computing and Software
McMaster University
1280 Main Street West
Hamilton, Ontario
Canada L8S 4K1
Phone: (905) 525-9140 Ext. 27962
Fax: (905) 524-0340
e-mail: leduc@mcmaster.ca
WWW: http://www.cas.mcmaster.ca/~leduc/
|
DESTC Web Page: http://www.cas.mcmaster.ca/destc/
To subscribe/unsubscribe to the newsletter, please go here.
To submit news items and articles to this newsletter, go here.
It is the responsibility of the contributor to ensure that they have the necessary permissions/clearance required for the transmittal of their news item.
Contents:
1. Editorial
2. Announcements
2.1 Special Session on Design, Analysis and Control of Discrete Event
Systems at IEEESMC07
2.2 2nd HYCON PhD School on Hybrid Systems in Siena, Italy, July 16-19 2007
2.3 Electrical/Nuclear Engineer
2.4 21 hours course on Control using Petri Nets at SUPELEC, Gif-sur-Yvette
(Paris)
2.5 Special Sessions on "Petri Nets and Discrete Event Systems" at IEEE
IECON 2007
2.6 PhD Course on Discrete event and hybrid systems, Cagliari, Italy, March
21, March 27, May 22, June 7, June 20, July 17, 2007
3. Books
3.1 Stochastic Hybrid Systems", by C. G. Cassandras and J. Lygeros
(Ed's)
4. Conferences
4.1 7th IFAC International Conference on Fieldbuses and nETworks in
industrial and embedded systems (FET2007), Toulouse, France,
November 7 - 9, 2007
4.2 9th IFAC Workshop on Intelligent Manufacturing Systems, Szczecin,
Poland, October 9 - 10, 2008
4.3 2007 IEEE/INFORMS International Conference on Service Operations and
Logistics, Philadelphia, USA, August 27 - 29, 2007
4.4 ESM2007 - The 2007 European Simulation and Modelling Conference,
St.Julian's, Malta, October 22 - 24, 2007
5. Journals
5.1 Selections from IEEE Transactions on Automatic Control, Volume 52,
Issue 1, January 2007
5.2 Selections from International Journal of Control, Volume 80 Issue
2, February 2007
5.3 Selections from IEEE Transactions on Automatic Control, Volume 52,
Issue 2, February 2007
5.4 Discrete Event Dynamic Systems, Volume 17, Number 1, March 2007
5.5 Selections from Control Engineering Practice, Volume 15, Issue 5,
May 2007
Welcome to the newsletter of the IEEE Control Systems Technical Committee Group on Discrete Event Systems!
See http://www.cas.mcmaster.ca/destc/ for information on the DESTC.
Personal note from the editor:
Welcome to the February 2007 edition of the DESTC newsletter.
Ryan
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
SPECIAL SESSION ON DESIGN, ANALYSIS AND CONTROL OF DISCRETE EVENT
SYSTEMS AT IEEESMC07
----------------------------------------------------------------------
Call for paper of the Special Session on
DESIGN, ANALYSIS, AND CONTROL OF DISCRETE EVENT SYSTEMS
2007 IEEE International Conference on Systems, Man, and Cybernetics
Oct. 8 - Oct. 10, 2007. Montréal, Canada
Conference web site: http://www.smc2007.org/index.html/
===================================================
The aim of this session is to provide the communities of
safety/reliability analysis and design of DES (Discrete Event
Systems) with an opportunity to exchange information and new ideas,
and to discuss new developments in the field of design, analysis, and
control of DES.
The special session will cover all topics related to specification,
design and implementation and operation of controllers for discrete
systems, including the on-line and off line methods to fault
prevention and tolerance, identification, monitors and diagnosis,
reconfiguration, etc. In particular, different approaches can be
included such as automata, Petri nets, Markov chains, timed discrete
event models, etc.
Finally, we encourage also APPLICATIONS to manufacturing and
production systems, transport, power plants, mechatronic systems,
embedded systems, communication, â¦
----------------------------------------------------------------------
----
IMPORTANT DATES:
January 31, 2007 Submission of paper information to the organizers
March 1, 2007 Deadline for submission of papers (full papers only)
INSTRUCTIONS:
Interested contributors please e-mail your paper information (title,
authors, abstract, and contact inf.) to the following organizers by
January 31, 2007.
Prof. Maria Pia Fanti
Dipartimento di Elettrotecnica ed Elettronica
Politecnico di Bari
Tel: +39-080-5963643
Fax: +39-080-5963410
Email: fanti@deemail.poliba.it
Prof. Naiqi Wu
Department of Industrial Engineering
Guangdong University of Technology
Guangzhou
Tel: 86-20-3932-2423
Fax: 86-20-3932-2415
Email: nqwu@gdut.edu.cn
----------------------------------------------------------------------
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
2ND HYCON PHD SCHOOL ON HYBRID SYSTEMS IN SIENA, ITALY, JULY 16-19 2007
Selected researchers will lecture at the 2nd HYCON PhD School on
Hybrid Systems on different topics of hybrid systems, including
modeling, mathematical properties, stability and stabilization,
simulation, reachability analysis and verification of safety
properties, observability and state estimation, model predictive
control, networked and embedded control, identification, diagnosis,
stochastic models, and the use of hybrid tools in industrial control
applications.
The school is targeted at graduate students and researchers who want
to learn the main concepts of hybrid systems, as well as at graduate
students and postgraduate researchers already working in the field of
hybrid systems.
The school is co-organized by the European Embedded Control
Institute, the European Network of Excellence "HYCON - Hybrid
Control: Taming Heterogeneity and Complexity of Networked Embedded
Systems" (6th Framework program), the Italian Ministry of Research
through the Convention of International Interuniversity
Cooperation "ICO - International Curriculum Option of Doctoral
Studies in Hybrid Control for Complex, Distributed and Heterogeneous
Embedded Systems", the University of Siena, the Technical University
of Eindhoven, and by the Technical Committee on Hybrid Systems of the
IEEE Control Systems Society.
The school will be immediately followed by the HYGEIA PhD School on
Hybrid Systems Biology, Siena, Friday July 20, 2007. The program of
the HYGEIA school will be soon available.
The 1st HYCON PhD School on Hybrid Systems was held in Siena on July
19-22, 2005 and was attended by about 120 participants from several
different countries.
Scientific Secretariat:
Alberto Bemporad
Dept. Information Engineering
University of Siena
Via Roma 56
53100 Siena, Italy
phone: +39-0577 234631
Maurice Heemels
Dept. Mechanical Engineering
Embedded Systems Institute
Technische Universiteit Eindhoven
Building WH 0.140
Den Dolech 2
P.O. Box 513,
5600 MB Eindhoven, The Netherlands
Organizing Secretariat:
Servizio Congressi
University of Siena
Banchi di Sotto, 46
53100 Siena, Italy
email: pizzuto@unisi.it
phone: +39-0577 232131
School location:
Rectorate of the University of Siena,
Aula Magna, Via Banchi di Sotto 55, 53100 Siena, Italy (show map)
Registration deadline:
Before June 15, 2007
Since the school can accomodate a limited number of attendees,
registrations will be accepted on a first-come, first-served basis.
Registration fee:
EUR 240
The fee includes: coffee breaks, social dinner, didactic material,
social activities, VAT. (registration to the HYGEIA PhD School has an
additional fee of EUR 40)
More information at
http://www.dii.unisi.it/hybrid/school07/
Contributed by: Thomas Steele <thomas.steele@inl.gov>
ELECTRICAL/NUCLEAR ENGINEER
Idaho National Laboratory (INL) is seeking qualified candidates to
fill a staff research, development, and demonstration (RD&D)
position. The successful candidate will participate in the
development and demonstration of technical solutions to a variety of
moderately large and/or complex problems related to systems
technologies, including modeling and simulation, through the general
use and application of design/development practices, theories, and
techniques. Typical RD&D areas of interest may include, but not
necessarily be limited to, instrumentation and control, sensor
networks/systems, decision support systems, process control,
artificial intelligence, dynamic threat surveillance and detection,
system integration issues, and on-line condition monitoring and
anomaly detection and interpretation, with pattern recognition,
diagnostic, and prognostic capabilities. Additional R&D activities
may involve the development of dynamic process and operations models,
data acquisition and supervisory systems, and embedded sensory
networks and interfaces. Main application areas are national
security, nuclear processes, and energy systems.
Potential candidates must hold a PhD in Electrical Engineering,
Nuclear Engineering, or related fields. Strong expertise or/and
experience in systems technologies and in dynamic modeling,
simulation, and analysis is desirable. The position requires a highly
motivated individual with the ability to work effectively in a team
and under minimal supervision. The candidate will participate and
provide leadership in the development and demonstration of advanced
engineering systems and solutions using current and emerging systems
technologies.
We are approximately 150 miles from Sun Valley, Idaho, and 100 miles
from Jackson Hole, Wyoming, and Yellowstone National Park, three of
the worldâs most sought after resort vacation destinations. INL
offers a competitive salary and exceptional benefits package,
including Health/Dental/Life, retirement, vacation, tuition
reimbursement, relocation assistance, and much more.
Please apply on line at http://www.inl.gov/careers for job reference
#002757. For questions, send e-mail message to Denis Asay at
Denis.Asay@inl.gov.
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
21 HOURS COURSE ON CONTROL USING PETRI NETS AT SUPELEC, GIF-SUR-YVETTE
(PARIS)
Title: Control using Petri Nets
Speaker: Alessandro Giua
Date: April 10-13, 2007
Location: SUPELEC, Gif-sur-Yvette (Paris)
The course is a module of 21 hours offered within the HYCON-EECI
GRADUATE SCHOOL ON CONTROL. In total 10 modules will be offered from
February 2007 to April 2007.
Registration fees: 150 euros per module
Deadline for registration: 2 weeks before the module starts.
For more details and registration procedure see:
http://www.ist-hycon.org/index.php?p=EECI
or contact Jamal.Daafouz@ensem.inpl-nancy.fr
Programme:
The objective of this module is that of presenting Petri nets as a
model for the analysis and control of discrete event and hybrid
systems, with a particular emphasis on the use of linear algebraic
and integer optimizations techniques. The basic model
(place/transition nets) is presented and two classical analysis
techniques (based on the coverability graph or on the incidence
matrix) are presented. Two different approaches for the control of
discrete event systems using Petri nets are reviewed. In the first
approach, directly inspired by supervisory control theory, a Petri
net is seen as a language generator that must be controlled to
enforce a given language specification. In a second approach, a state
specification is given and the net must be controlled to ensure that
no forbidden state is reached. An interesting approach based on
integer optimization can also be used to estimate the state of a net:
this procedure can be used to design an observer to insert in the
control loop, or to design a diagnoser for fault analysis. The last
part of the course will briefly introduce hybrid Petri nets and the
techniques that can be used to control these nets.
Introduction to place/transitions nets: analysis by coverability
graph and by incidence matrix.
Supervisory control using Petri nets. Language specifications.
Control for Generalized Mutual Exclusion Constraints. Monitor places.
Discrete-event observers using Petri nets. Applications to
diagnosis/control
Hybrid Petri nets
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
SPECIAL SESSIONS ON "PETRI NETS AND DISCRETE EVENT SYSTEMS" AT IEEE
IECON 2007
Call for Papers: Special Session on
Petri Nets and Discrete Event Systems
----------------------------------------------------------------------
IEEE IECON 2007
The 33rd Annual Conference of IEEE Industrial Electronics Society
November 5-8, 2007, The Grand Hotel, Taipei, Taiwan
Conference web site: http://iecon07.ccu.edu.tw/
===================================================
Petri nets were introduced by C. A. Petri in his seminal work in 1962.
Since then Petri nets have been applied in several areas for modeling
and analysis of discrete event systems. The aim of this
invited session is to provide a platform for international researchers
and practitioners to present and share their original works addressing
the new challenges, research issues and novel solutions of Petri Nets
and Discrete Event Systems.
Topics include, but are not limited to, the following:
- Petri nets
- UML, statechart, and activity diagrams
- Discrete event systems
- System modeling and simulation
- Supervisory control
- Performance evaluation and optimization
- Planning and scheduling
- Fault detection, isolation, diagnostics, and error recovery
- Applications: factory automation, transportation systems, computer &
communication networks, e-commerce, and supply chains
- Practical applications and industrial case studies
----------------------------------------------------------------------
IMPORTANT DATES:
March 16, 2007 Expression of interest (Email short summaries to the
organizer)
April 2, 2007 Deadline for submission of full papers
June 18, 2007 Notification of acceptance
July 23, 2007 Final camera-ready papers due
The Proceedings of IECON 2007 will be included in the IEEE Xplore
database
and indexed by EI Compendex.
For further information, please see the website:
http://iecon07.ccu.edu.tw/
INSTRUCTIONS:
Interested contributors please e-mail your short summaries (paper
title,
authors, abstract, and contact details) to Dr. Jin-Shyan Lee by March
16.
----------------------------------------------------------
Session Co-Organizers:
Assoc. Prof. Toshiyuki Miyamoto
Department of Electrical, Electronic and Information Engineering
Osaka University, Japan
Email: miyamoto@eei.eng.osaka-u.ac.jp
Prof. Zhiwu Li
School of Electro-Mechanical Engineering
Xidian University, China
Email: zhwli@xidian.edu.cn
Dr. Jin-Shyan Lee
Information & Communications Research Labs
Industrial Technology Research Institute (ITRI), Taiwan
Email: jinshyan_lee@itri.org.tw
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
PHD COURSE ON DISCRETE EVENT AND HYBRID SYSTEMS, CAGLIARI, ITALY, MARCH
21, MARCH 27, MAY 22, JUNE 7, JUNE 20, JULY 17, 2007
Discrete event systems
Discrete event systems (DES) theory is the theoretical foundation to
the study of dynamical man-made systems, whose evolution is related
to the occurrence of asyncronous events, usually not numerical. The
most relevant application domains are: manufacturing, process
control, supervisory systems, software engineering, transportation
and so on. As a result of the combinatoric nature of the analysis,
optimization and control problems of DES, the theory of DES has
developed slowly with respect to the theory of time-driven systems.
During the last fifteen years, to address the requirements from
industry of formal methods for the study of DES, the international
scientific community has devoted a great effort in this respect, and
several important results have been obtained. In particular, solid
theoretical foundations have been given within the framework of
supervisory control, state observation and fault diagnosis.
Hybrid Systems
Recent technological innovations have caused an ever increasing
interest in the study of hybrid systems (HS). The peculiarity of
hybrid systems is the interaction between continuous-time dynamics
(governed by differential or difference equations), and discrete
dynamics and logic rules (described by temporal logic, finite state
machines, if-then-else conditions, discrete events, autonomous or
forced switching, etc.). The research domain of HS is attracting an
ever increasing number of researches. However, several important
problems are still open in this framework, such as optimal control
and analysis of many relevant properties, such as stability and Zeno
phenomena. In particular, the latter is strictly related to the
sliding mode theory, and many of its relevant results can be used or
extended.
Objectives of the course
The main objective of this course is that of collecting together
researches from several universities, working within the framework of
discrete and hybrid systems, so as to provide an outline of the main
theoretical and application results in these areas. All lectures will
be taken at a quite didactic level, so that also PhD students not
working in these topics, will be able to understand the proposed
results.
Dates and location
All lectures will take place at the
University of Cagliari
Faculty of Engineering
Piazza D'Armi
09123 Cagliari, Italy
in the following dates: March 21, March 27, May 22, June 7, June 20,
July 17, 2007.
Organizers
Carla Seatzu, Elio Usai
Dep. of Electrical and Electronic Engineering
University of Cagliari, Italy
Emails: seatzu@diee.unica.it, eusai@diee.unica.it
Detailed Program
March 21, 2007
9.00 - 11.00
A. Giua
Observers for Petri nets
11.30 - 13.30
G.M. Pinna
The theory of regions and the synthesis of nets from computations
15.30 - 17.00
F. Basile
Supervisory control of Petri nets based on monitor places
March 27, 2007
9.00 - 11.00
M.P. Cabasino
Identification of place/transition nets
11.30 - 13.30
C. Hadjicostis
Coding approaches to reliable descrete event systems design
15.30 - 17.00
C. Mahulea
Optimal control of continuous Petri nets
May 22, 2007
9.00 - 11.00
A. van der Schaft
Analysis and control of complementarity hybrid systems
11.30 - 13.30
D. Corona
Adaptive cruise controller for a Smart car: A comparison benchmark
for MPC-PWA control methods
15.30 - 17.00
A. van der Schaft
Composition and bisimulation of hybrid systems
June 7, 2007
9.00 - 11.00
C. Seatzu
Optimal control of switched systems
11.30 - 13.30
Z. Yang
On the controllability and fault tolerance of hybrid dynamical
systems
15.30 - 17.00
E. Usai
Zeno phenomena in hybrid systems and sliding mode behaviours
June 20, 2007
9.00 - 11.00
A. Paoli
Supervisory control of discrete event systems
11.30 - 13.30
S. Lafortune
Diagnosis of discrete event systems
15.30 - 17.00
S. Lafortune
Decentralized control of discrete event systems
July 17, 2007
9.00 - 11.00
G. Bartolini
Simplex sliding mode control method for nonlinear multiinput
uncertain systems
11.30 - 13.30
A. Levant
Homogeneous discontinuous control
15.30 - 17.00
A. Pisano
Second-order sliding modes in mechanical and electromechanical
systems - Basic principles and implementation results
Contributed by: Christos G. Cassandras <cgc@bu.edu>
STOCHASTIC HYBRID SYSTEMS
C. G. Cassandras and J. Lygeros (Ed's)
Taylor and Francis, 2006
ISBN 0-8493-9083-4
click here
Stochastic hybrid systems (SHS) incorporate both time- and event-
driven dynamics and have become ubiquitous in a variety of fields,
including mathematical finance, biological processes, and communication
networks.
Cohesively edited, the book introduces the theoretical basics,
computational methods, and applications of SHS. It first discusses the
underlying principles and the main design limitations of SHS. Building
on these fundamentals, the authors (see Table of Contents) present
methods that apply SHS analysis and synthesis techniques in practice.
The book concludes with examples of systems encountered in a wide range
of application areas, including molecular biology, networks, and air
traffic management. It also explains how to resolve practical problems
associated with these systems.
"Stochastic Hybrid Systems" achieves a balance between a
theoretical treatment of SHS and practical considerations. The book
explores the interaction of physical processes with computerized
equipment in an uncertain environment, enabling a better understanding
of sophisticated as well as everyday devices and processes. It
integrates the most recent research results on SHS, addresses
fundamental issues that include unifying modeling frameworks and
abstractions of complex SHS, illustrates computational methods for
SHS analysis such as model checking and Monte Carlo techniques, and
includes advanced application areas such as computer networks and
biological processes to illustrate how the theoretical foundations
can be used in practice.
TABLE OF CONTENTS
1. Stochastic Hybrid Systems: Research Issues and Areas
Christos G. Cassandras and John Lygeros
2. Stochastic Differential Equations on Hybrid State Spaces
Jaroslav Krystul, Henk A.P. Blom, and Arunabha Bagchi
3. Compositional Modelling of Stochastic Hybrid Systems
Stefan Strubbe and Arjan van der Schaft
4. Stochastic Model Checking
Joost-Pieter Katoen
5. Stochastic Reachability: Theory and Numerical Approximation
Maria Prandini and Jianghai Hu
6. Stochastic Flow Systems: Modeling and Sensitivity Analysis
Christos G. Cassandras
7. Perturbation Analysis for Stochastic Flow Systems with Feedback
Yorai Wardi, George Riley, and Richelle Adams
8. Stochastic Hybrid Modeling of On-Off TCP Flows
Joao Hespanha
9. Stochastic Hybrid Modeling of Biochemical Processes
Panagiotis Kouretas, Konstantinos Koutroumpas, John Lygeros, and Zoi
Lygerou
10. Free Flight Collision Risk Estimation by Sequential MC Simulation
Henk A.P. Blom, Jaroslav Krystul, G.J. (Bert) Bakker, Margriet B.
Klompstra,
and Bart Klein Obbink
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
7TH IFAC INTERNATIONAL CONFERENCE ON FIELDBUSES AND NETWORKS IN
INDUSTRIAL AND EMBEDDED SYSTEMS (FET2007)
Toulouse, France
November 7 - 9, 2007
Sponsored by IFAC Technical Committee on Components
and Technologies for Control (TC 4.1)
Co-Sponsored by IFAC Technical Committee on Networked Control Systems
(TC 1.5)
SCOPE
The FET Conference is the largest IFAC technical event devoted to the
context of industrial and embedded networked systems and their
applications. Such systems integrate more or less smart sensors,
actuators and computing devices which are interconnected through
communication means which can be either dedicated or shared between
different applications.
Initially, those communication means were wired networks, mainly
fieldbuses or specific real time local area networks. Nowadays, the
communication means are broadened i-e they include other technologies
like wireless technologies, more general real-time local area
networks and also internetworking through IP networks. The main
application domains are industry automation, embedded systems (such
as avionics, trains, ships and automotive ones) and home automation.
The purpose of the conference is to provide a forum to share ideas
and experiences, in this area of information, communication and
cooperation technologies and theirs real-time and dependable
applications, between academic researchers, practitioners and service
providers, to review current trends and to discuss new research
directions.
This new edition will be the seventh. Previous conferences were held
in Vienna (Austria) 1995,1997, in Magdeburg (Germany), 1999, in Nancy
(France), 2001, in Aveiro (Portugal), 2003 and in Puebla (Mexico),
2005.
FOCUS
Distributed systems, Embedded systems, Multimedia systems, Networks,
Heterogeneous networks, Internetworking, Network control, Networked
Control Sytems; System integration, Interoperability; Real-Time
(Hard, Soft), Performances, Fault-Tolerance, Dependability, Security,
Performability.
MAIN TOPICS
Networks: Fieldbuses, Wireless networks, Sensor networks, Industrial
networks, IP networks, Satellite, Real-time networks, Services,
Protocols, Scheduling, Routing Architecture: Layers, Cross-layering,
Middleware (Communication, Cooperation), Quality of Service (QoS)
Applications: Industrial, Robotic, Process control, Production
systems, Embedded systems (avionic, train, automotive, ship),
Building automation, Hospital, Healthcare systems Analysis: Formal
modeling, Verification, Evaluation, Validation, Simulation, Links
between QoS and application requirements, Tools Cases studies: From
the specification to the implementation.
SUBMISSION OF PAPERS
Two types of papers will be considered:
Regular papers which report novel and significant contributions to
the fields concerned by the conference.
Work in progress papers which present recent ideas and on-going works
related to the fields of the conference.
Authors are invited to submit electronically regular papers (double
column, 6-8 pages) and work in progress papers (double column, not
exceeding 4 pages). Recommendations for authors are available in:
http://www.ifac-control.org/events/authorinfo.htm
https://ifacsymposia.papercept.net/conferences/information/about.html
IMPORTANT DATES
May 15, 2007: Submission of regular papers
May 31, 2007: Submission of work in progress papers
September 10, 2007: Notification of acceptance
September 28, 2007: Camera ready version due
Copyright conditions
The material submitted for presentation at an IFAC meeting (Congress,
Symposium, Conference, Workshop) must be original, not published or
being considered elsewhere. All papers accepted for presentation will
appear in the Preprints of the meeting and will be distributed to the
participants. Papers duly presented at the Congress, Symposia and
Conferences will be archived and offered for sale, in the form of
Proceedings, by Elsevier Ltd, Oxford, UK. In the case of Workshops,
papers duly presented will be archived by IFAC and may be offered for
sale, in the form of Proceedings, by Workshop organizers. The
presented papers will be further screened for possible publication in
the IFAC Journals (Automatica, Control Engineering Practice, Annual
Reviews in Control, Journal of Process Control Engineering
Applications of Artificial Intelligence, and Mechatronics), or in
IFAC affiliated journals. All papers presented will be recorded as an
IFAC Publication.
Copyright of material presented at an IFAC meeting is held by IFAC.
Authors will be sent a copyright transfer form. The IFAC Journals
and, after these, IFAC affiliated journals have priority access to
all contributions presented. However, if the author is not contacted
by an editor of these journals within three months after the meeting,
he/she is free to re-submit the material for publication elsewhere.
In this case, the paper must carry a reference to the IFAC meeting
where it was originally presented.
CONFERENCE COMMITTEES
Conference Chairman
Guy Juanole (France)
Steering Committee
Dietmar Dietrich (Austria), Jose Alberto Fonseca (Portugal), Peter
Neuman (Germany), Thilo Sauter (Austria), Herbert Schweinzer
(Austria), Jean-Pierre Thomesse (France)
International Progam Committee
Chairman : Miguel Leon Chavez (Mexico)
Vice chairman : Christian Fraboul (France)
Vice chairman (Industry) : Henry Sarthou (France)
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
9TH IFAC WORKSHOP ON INTELLIGENT MANUFACTURING SYSTEMS
Szczecin, Poland
October 9 - 10, 2008
Meeting scope and objective
The progress of computers and computing technology over the last
decades has simplified significantly the collecting, storage and
processing of data about key processes in manufacturing, business and
economics. Improving integration raises manufacturing quality,
quickens response to the market, and lowers unit costs. Using
computers to integrate manufacture involve planning and linking a
variety of operating and management systems together to support
decision making in complex systems such as extended enterprises and
financial markets. So, both producers and customers are embracing new
computational methods and tools for advanced modeling, analysis and
decision making.
Special attention will be paid to concurrent consideration of
technological and control problems. The workshop will bring together
wide range of specialists from academia, R&D firms and industry in
order to discuss and exchange experience in the field of theory and
application of knowledge engineering based decision support systems.
In this context the workshop will focus on techniques and
technologies standing behind of decision engineering methods aimed at
real life applications.
Meeting topics
The workshop covers all topics in knowledge engineering techniques
implemented in decision support systems but not limited to:
knowledge engineering
multi-agent systems
knowledge-based systems
knowledge discovery and data mining
decision making
fuzzy logic and fuzzy computing
constraint programming
intelligent manufacturing
logistics and scheduling
intelligent database systems
evolutionary computation
business process re-engineering
financial management and systems
information technology development and management
knowledge management systems
executive support systems, e-systems
management expert systems
internet and intranet in business
virtual organizations and information system of virtual organizations
data mining and knowledge discovery
Basic information
Meeting venue:
City: Szczecin
Country: Poland
Dates:
First day of meeting: 9.10.2008
Last day of meeting: 10.10.2008
Draft papers submission deadline: 01.05.2008
Registration fee:
Early registration fee: 350 EUR
Student registration fee: 250 EUR
Late registration fee: 400 EUR
The registration fee includes banquet and lunches
Early registration deadline: 01.07.2008
Copyright conditions
The material submitted for presentation at an IFAC Workshop must be
original, not published or being considered elsewhere. All papers
accepted for presentation will appear in the Preprints of the meeting
and will be distributed to the participants. Papers duly presented at
the Workshop will be archived by IFAC and may be offered for sale, in
the form of Proceedings, by Workshop organizers. The presented papers
will be further screened for possible publication in the IFAC
Journals (Automatica, Control Engineering Practice, Annual Reviews in
Control, Journal of Process Control , Engineering Applications of
Artificial Intelligence, and Mechatronics), or in IFAC affiliated
journals. All papers presented will be recorded as an IFAC
Publication.
Copyright of material presented at an IFAC meeting is held by IFAC.
Authors will be sent a copyright transfer form. The IFAC Journals
and, after these, IFAC affiliated journals have priority access to
all contributions presented. However, if the author is not contacted
by an editor of these journals within three months after the meeting,
he/she is free to re-submit the material for publication elsewhere.
In this case, the paper must carry a reference to the IFAC meeting
where it was originally presented.
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
2007 IEEE/INFORMS INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND
LOGISTICS
Philadelphia, USA
August 27 - 29, 2007
2007 IEEE/INFORMS International Conference on Service Operations and
Logistics, and Informatics (SOLI'2007)
Sponsored by: IEEE; Technical-sponsored by: Chinese Academy of
Sciences and INFORMS (pending)
Conference Scope and Themes
Services, service operations, logistics, and informatics become more
complex and dynamic. They are playing an increasingly important role
in today's world economy. Information and communications technology
provides cyber-infrastructure and platforms to achieve more efficient
and productive services operations. The IEEE/INFORMS Service
Operations and Logistics, and Informatics (SOLI) conference series
aims to bring together researchers and practitioners to discuss
issues, identify challenges and future directions, and share their
R&D findings and experiences in the areas of service design,
innovations, marketing, and operations; logistics issues in services
offerings, logistics as a service and related decision-making;
informatics-enabled service offerings, and information
technology/systems services.
Papers related to Services/Logistics Design, Innovations, Marketing,
Operations, Engineering, Workforce, and Management; and their
specific applications by leveraging Information Technology/Systems
Services are strongly encouraged.
Paper Submission/Areas of Interest (Topics include, but are not
limited to):
Service Design, Engineering, Operations, and Innovations -- Service
planning and design; Service process engineering; Expedited services
and extreme logistics; Healthcare systems; Financial services; Retail
and services management; Quality and customer satisfaction; Metrics
and benchmarks; Security & safety-related services and management;
Contingency planning
Logistics & Supply Chain Management -- On-demand delivery; Logistics
planning; Freight forwarding and customs clearance; Venue logistics
management; Warehouse and distribution; Transportation management
systems; Reverse logistics; Supplier relationship management;
Logistics visibility and control; Procurement
Service Marketing and Sustaining -- Demand forecasting; Customer
relationship management; Event communication and alerting; Services
training; Services sustaining; Services quality; Services bundling; E-
market for services
Service/Event Management & Manufacturing -- Service management system;
Workforce management; Event sponsorship; Event-based production and
supply chain; Event-based products and manufacturing; Intelligent
manufacturing; Customization; Simulation Information & Communications
Technology and Systems (ICTS) -- ICTS services design and management;
E-market for ICTS services; ICTS services standards, locating,
composition, and bundling; Process modeling; Augmentation, and
automation; Real time identification & tracking technology; Pervasive
and ubiquitous computing in logistics; Decision support systems;
Software agent based systems in logistics; RFID; Service-driven data
warehousing and data/Web mining; Systems interoperability and
integration
Paper Submission
Manuscripts in English must be electronically submitted at the
conference website: http://www.ieeesoli.org. They should be at most
six pages in the IEEE two-column conference paper format, including
figures, tables, and references. A LaTeX style file and a Microsoft
Word template are available from the IEEE web site
(http://www.ieee.org/pubs/transactions/stylesheets.xml). The
submissions, however, need to be in PDF.
Important Dates:
Full paper deadline: April 15, 2007
Acceptable/Rejection May 15, 2007
Final Paper: June 15, 2007
Special sessions on specific service topics are also welcome. Special
session contact: Robin Qiu (robinqiu@psu.edu)
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
ESM2007 - THE 2007 EUROPEAN SIMULATION AND MODELLING CONFERENCE
St.Julian's, Malta
October 22 - 24, 2007
ESM2007
The 2007 European Simulation and Modelling Conference
St.Julian's, Malta
October 22-24, 2007
Methodology and Tools
Simulation and AI
High Performance and Large Scale Computing
Simulation in Education and Graphics Visualization Simulation
Simulation in the Environment, Ecology, Biology and Medicine
Analytical and Numerical Modelling Techniques
Web Based Simulation
Agent Based Simulation
Cosmological Simulation
SIMULA- Special 40th anniversary Track
Simulation with Petri Nets
Simulation with Bond Graphs
DEVS Workshop
Fluid Flow Modelling Simulation
Complex Systems and Self-Organization Modelling
Multi-Agent Systems and Simulation
Modelling and Simulation of Electrical Systems
Tutorials
Student Papers, Poster Sessions
Partners for Projects Sessions
Exhibition
Organised by
The European Technology Institute
and Sponsored by
EUROSIS
The University of Malta
Hosted by
Westin Dragonara Hotel
For latest information see:
www.eurosis.org
or
http://www.eurosis.org/cms/?q=taxonomy/term/53
AIM OF ESM 2007:
The 21st annual ESM 2007 (European Simulation and Modelling
Conference) is the original European international conference
concerned with state of the art technology in modelling and
simulation. ESM 2007 aims to provide an overview of academic
research in the field of computer simulation.
A number of major tracks of simulation research are presented next to
specific workshops, which capture the art and science of present-day
simulation research.
KEYNOTES:
Why Is Variance Reduction So Important?
Pierre l'Ecuyer,Universite de Montreal,Montreal, Canada
About the predictability and complexity of Complex Systems
Renate Sitte,, Griffith University, Gold Coast, Queensland, Australia
INVITED SPEECH:
SIMULA and 40 years of the object-oriented programming
Eugene Kindler, Ostrava University, Ostrava, Czech Republic
SUBMISSIONS:
All submissions will be peer reviewed by at least three members of the
International Program Committee. Accepted papers will be published
in the conference Proceedings (both print and electronic format on
the web), that will be copyrighted and widely disseminated. All
talks and tutorials, must be accompanied by a paper of between three
to eight Proceedings pages. Contributions to the technical program
are solicited in the following general areas;
METHODOLOGY AND TOOLS:
METHODOLOGY:
Continuous, discrete and hybrid simulation methodology, Simulation
environments, Multi-paradigm simulation, Simulation uncertainty,
Simulation visualisation, Integration of simulation and geographical
information systems, Object-oriented programming and Languages,
Multi-paradigm Languages, Software comparisons. Numerical Methods
for Simulation, Mathematical Analysis in Simulation, Parallel
Simulation
Methodology, Discrete Event Simulation, Simulation Fidelity and
Performance Evaluation, Advanced Training and Simulation Concepts
for Education, Multiparameter Sequential Optimization Methods in
Simulation, Verification, Validation, and Control in Complex
Systems Simulation, Distributed and Parallel Systems Simulation,
Combined Continuous and Discrete Event Models, Symbol Analysis and
Manipulation of Equation-Based Models, Simultaneous vs Modular
Simulation Methods, Standardization Issues
OBJECT ORIENTATION AND RE-USE:
Object-Oriented Modelling Languages, Modularity, Model Structuring,
Inheritance, Model Re-use, Organization of Model Libraries
TOOLS:
Simulation Tools, Statistical Output Evaluation Tools, Optimization
Tools, Special Purpose Simulation Languages and Tools, Simulator
Development Environments, Interfaces for Coupling with External Tools
SIMULATION AND AI:
AI Based Simulation Languages, Special Architectures, Graphical
Simulation Environments and Simulation Software Tools, Intelligent
Simulation Environments, Parallel Processing Environments for
Simulation, User Friendly Software Tools, Advanced Man-Machine
Interfaces, Graphical Model Editors, Browsing Facilities, Database
Management of Models and Results, Architecture of Modelling and
Simulation Environments
AI AND EXPERT SYSTEMS:
Expert Controllers and Genetic Algorithms in Simulation, Knowledge
Based Simulation Tools, AI and Expert Systems in Simulation
AI AND NEURAL NETWORKS:
Classification, Data analysis, Fault tolerance, Forecasting,
Knowledge acquisition, Economics and Finance, Planning, Pre-
treatment of data, Process control, Robotics, Speech and image
recognition, Web intelligence, involving methodologies such as:
Hybrid systems (GA, fuzzy, symbolic representation), Methods or
tools for evaluating ANN performance, Reinforcement Learning,
Simulation tools (research, education, development), Neural nets for
simulation: modelling of parts (components) of the system simulated
by neural networks, evaluation of simulation models using neural
nets, decision support in simulation models by neural nets;
Simulation of neural nets: systems of pre-designed neural networks,
techniques and tools for simulation and programming of neural
networks.
AI AND FUZZY SYSTEMS:
Fuzzy Qualitative simulation, fuzzy rules and fault models.
Classification, Data analysis, Fault tolerance, Forecasting, Knowledge
acquisition, Economics and Finance, Planning, Pre-treatment of data,
Process control, Robotics, Speech and image recognition, Web
intelligence, involving methodologies such as: Hybrid systems (GA,
fuzzy, symbolic representation), Methods or tools for evaluating ANN
performance, Reinforcement Learning, Simulation tools (research, education,
development).
HIGH PERFORMANCE AND LARGE SCALE COMPUTING:
This track invites contributions on efficient Modelling and
Simulation Algorithms and Computer-intensive Simulation Projects on
High-performance Large Scale Computers and Distributed Platforms.
Methods and techniques for parallel simulation (scheduling,
synchronisation, load balancing), Performance of parallel and
distributed simulation (experimental and comparative studies,
performance models, benchmarks), High Level Architecture (HLA) and
related standards (time management, model semantics, implementation
issues), High Performance and Large Scale Systems for Computational
Science (biological, chemical, physical, etc.) Application of
parallel and distributed simulation (computer systems, manufacturing
systems, etc.), Parallelisation of simulations (numerical methods,
(Quasi-Monte-Carlo simulation), Simulation in Cluster, Multicluster,
and Grid Computing, Simulation in Pervasive and Ubiquitous Computing
(wireless, mobile, wearable, invisible)
SIMULATION IN EDUCATION AND GRAPHICS VISUALIZATION SIMULATION:
This track covers; Simulation and e-learning, - Role Strategies)
Management Games, Simulation with "man in the loop", Virtual Reality
Systems, Realistic Presentation of Simulation, Results, Simulation
for Training and Education, Web-based Simulation, Multi-site Group
Simulation, Special Purpose Simulation Languages and Tools,
Simulation Environments, Simulator Development Environments, Visual
Modelling Tools, Multimedia, Visualisation and Animation Tools,
Interfaces for Coupling with External Tools
SIMULATION IN ENVIRONMENT, ECOLOGY, BIOLOGY AND MEDICINE:
The main goal is to enhance the trans-disciplinarity and to
facilitate contacts and dialogs between computer scientists and
specialists of Environmental Sciences. Since 10 years the modelling
process took benefits from recent (and less recent) techniques of
computer science : Object-Oriented Languages, Discrete Event
Simulation, Concepts of Agent and Actor, Fuzzy Logic, UML, model -
GIS interface, Web-based simulation, environment management,
predictive models of forest growth, fishing, climate and other
biological processes. Papers dealing with ecological modelling (in a
wider sense) are welcome in the areas of: Applications: Environment
managing, Waste managing, Ecosystem dynamics (terrestrial and
oceanographic ecology) Population dynamics (diseases & epidemics,
changes in biodiversity, genome, predator-prey relationships,
fishing...), Population behaviour, Individual behaviour, involving
methodologies such as: Artificial Intelligence, Distributed
Interactive Simulation, High-Performance Computing, Languages,
Modelling Techniques, Simulation Methodologies & Tools, Synthetic
Environment, Virtual Reality, Petri nets, DEVS and Bond Graphs.
Modelling and simulation have an important role in structuring
biological, medical and ecological systems.
The intrinsic complexity and non-linearity of these types of systems
need continuous and discrete simulation methodology, soft computing
methodology in order to handle the different degrees of uncertainty,
as well as virtual reality methodology describing the time and space
dependent complexity.
SIMULATION IN BIOLOGICAL SYSTEMS:
Topics are biological systems, medical systems and ecosystems with
the domain specific topics such as molecular modelling, genetic
algorithms in biosystems, fuzzy sets and neural nets in biosystems,
physiology, cardiology, anesthesia, cancer, circulatory system,
respiratory system, renal system, biomechanics, agricultural
production, simulation of global change, ecotechnology and eco-
engineering, GIS, population dynamics, etc Simulation of Patient
Care,Quality of Service, Hospital Logistics, Simulation of Disease
Proliferation, Virtual Reality in Surgical Procedures, Simulating
Biological Phenomena and Organs, Simulation as a Tool for Diagnosis,
Simulation of Emergency Procedures (Disaster Gaming), General
Medical Simulations, Pharmacometric Modelling, Physiological
Simulations.
ANALYTICAL AND NUMERICAL MODELLING TECHNIQUES:
Contributions based on exact and approximate methods as well as
applications are encouraged but not restricted to the following
topics:
Techniques and Algorithms, Stochastic Petri Net Models, Queuing
Systems and Network Models, Markov Models, Performance Optimization,
Stochastic Process Algebras, Stochastic Precedence Graphs, Bounds
and Theoretical Properties, Interconnection Networks, Evaluation
Studies of Analytical and Numerical Modelling, Computer Systems,
Manufacturing Systems, Workflow Management Systems, Communication
Systems (LANs and Distributed Systems, ATM Switches, Mobile
Radio,...), Workload modelling and Characterisation, Operating
Systems, Client-Server Systems, Multimedia Systems, Measurements and
Hybrid Techniques, Software Performance and Software Tools for
Analytical and Numerical Modelling
WBE BASED SIMULATION:
Web-based Simulation Environments (WSE), Web-based Distributed
Interactive Simulation (WDIS) Sharing and reuse of simulation models
and tools in WSE , Techniques and Standards for model integration,
Communication interoperability in WSE and WDIS, WSE and WDIS
applications to education, training and learning. , Simulation
visualization/animation in WSE and WDIS, Web-based Distributed
Simulation (distributed modelling via the Web, Java based,
Federated, and so on)
AGENT BASED SIMULATION:
Agent Based Simulation covers, Basic Methodologies, Agent
Architectures, Model Specification and Languages, Mobile Agents,
Multi Agent System Communication and Cooperation, Multi-Level
Simulation and Emergence, decision making and Strategies,
plus applications in Ecology and Environment (environment
management, resource management, social and political
impact on the environment, computer aided decision making,
socio-eco systems modelling), psychology, Cognitive Science
and AI, Economics and Market Systems, Business Process
Management, Industry, Manufacturing and Logistics and
Transport(control of Industrial Systems, scheduling,
Planning, Supply Chain) and Health Care with the emphasis
on simulation and modelling.
COSMOLOGICAL SIMULATION:
Detailed computer simulations are a powerful tool to study
one of the biggest challenges for theoretical cosmology:
How did the galaxies we see in the universe today form out of
the small fluctuations in matter density that were present
in the primordial universe? Having carried out the largest
cosmological simulations ever, scientists of astrophysics
are able to follow the hierarchical galaxy formation process
with unprecedented accuracy and detail, allowing new theoretical
insights into dark matter dynamics, and novel tests of the cold
dark matter theory for galaxy formation.
Simulations in this area, at present can be categorized under:
The Millenium Simulation, Galaxy Formations Simulation,
First Objects, Mock Catalogues, Dark Matter Halos,
Intergalactic Medium, Semi-Analytical Modelling and Hubble
Volume Simulation, Star Formation etc...
40 YEARS OF SIMULA, THE FIRST OO SIMULATION LANGUAGE:
SIMULA is the first OOP language and with the exception of Beta
programming language, other broadly used OOP languages are
conceptual subsets of SIMULA. The standard was defined in 1967,
that's why the language used to be called SIMULA 67. The basic ideas
were presented at the IFIP Working Conference "Simulation
Programming Languages" in Oslo in 1967, the proceedings were
published 35 years ago in 1968. SIMULA (SIMple Universal LAnguage)
as such is a general object-oriented language. Its system classes
Simset and Simulation add the knowledge of linked lists and time
processes making SIMULA a process-oriented simulation language.
The workshop would concentrate on the SIMULA's advanced OOP features
that cannot be found in other OOP languages and on its simulation
capabilities. The so-called main classes (nested classes that
contain other local classes) that can be further specialized
represent modularity achieved by using the OOP capabilities of the
language. The system class Simulation will be enhanced to contain
classes supporting transparent statistics and classes oriented to
the simulation of queueing networks. SIMULA implementation for PC
computers is now freely available, so the participants of the
workshop will get tools and knowledge to create fast their own
simulation models.
WORKSHOP SIMULATION WITH PETRI NETS:
Petri nets were introduced by C.A. Petri as a "finitary
combinatorial model of event topology which, is in close
correspondence with the models of modern physics, is capable of
describing total information flow, and has proven superior to some
conventional models both in construction and in analysis of systems
of complex organization". Although many other models of concurrent
and distributed systems have been developed, Petri nets are still
considered "a central model for concurrent systems with respect to
both the theory and the applications" due to the natural way they
allow to represent reasoning on concurrent active objects which
share resources and their changing states.
The huge amount of work invested in making the modelling power
of Petri nets formalism more and more intensive, led to a
continuous evolution of this area, such that "Petri nets" is
currently a generic name for a whole class of models divided into
three main layers (ranging from Elementary Net Systems and
Place/Transition nets to traditional High Level nets and High Level
nets with abstract data types). For the performance evaluation of
the modelled system, time execution and/or stochastic processes
have also been considered, leading to important extensions to the
above general Petri nets classification: Timed and Stochastic Petri
nets.
Petri nets are widely considered as an operational (rather than
denotational) formalism for Discrete Event Systems. They have proven
to be useful in solving difficult discrete-event problems in a
variety of application domains such as in software engineering,
operating systems, databases, communication and co-operation
protocols in distributed systems, manufacturing systems, defence
command and control, business processes and
telecommunications, etc.
As investigations in this area show, Petri nets also cover a large
number of currently active research areas. Despite the great
amount of work and achievements, much effort is still to be done to
meet the applications requirements.
This workshop is intended to provide a forum for the
presentation and discussion of original ideas, recent
results and achievements by researchers, students and system
developers on issues and challenges related to the above domain.
We invite to submit original contributions addressing, but not
limited to one of the following topics:
-- Simulation using Petri Net Systems,
-- Place/Transition nets,
-- High-level Petri nets,
-- Timed and Stochastic Petri nets,
-- Temporal and real-time logics with respect to Petri nets,
-- Analysis methods of High Level nets and their time extensions,
-- Modular Petri nets,
-- Object-oriented Petri nets (OOPNs),
-- Computer tools based on OOPNs,
-- Applications of OOPNs.
WORKSHOP MODELLING AND SIMULATION WITH BONDGRAPHS:
The Bond Graph Workshop will bring experts together for the purpose
of discussing new concepts, methods, techniques, tools and
applications of this energy-based modelling methodology. Papers
dealing with all aspects of the use of bond graphs in system design,
analysis, and control are welcome. The workshop will provide a
forum for the presentation and discussion of recent research and
applications of the Bond Graph methodology. Research papers are
welcome in the following categories of presentation: Tutorials,
Panel Discussions, Software and Tools, Bond Graph Theory, Advanced
Bond Graph Methodology, Bond Graphs and Block Diagrams, Computer
Graphics and Bond Graph Modelling, Qualitative Modelling,
Mechatronics Systems, Mechanical Systems and Robotics, Electrical
and Power Systems, Control Systems, Thermal and Chemical Systems,
Biomechanics and Prosthetics, Ecological Systems, Biological and
Medical Systems, Social and Economic Systems, Industrial
Applications, Large, Nonlinear Models
DEVS WORKSHOP:
The DEVS Workshop will cover: Extensions to the DEVS formalism, DEVS
and Distributed DEVS frameworks, DEVS-based next generation VHDL,
DEVS standardization, DEVS applications
FLUID FLOW SIMULATION MODELLING WORKSHOP:
Papers are solicited in:
Conventional fluid dynamics
New developments in boundary tracking, adaptive multiscale meshes,
algorithm stability, turbulence
Atomistic methods
Ab-initio and classical molecular dynamics, direct simulation Monte
Carlo.
Mesoscopic methods
Lattice gases, lattice-Boltzmann, smoothed particle dynamics,
dissipative particle dynamics, discrete simulation automata, etc.
Hybrid methods
Atomistic-mesoscopic and mesoscopic-continuum: direct simulation
Monte Carlo, adaptive-mesh dissipative-particle dynamics, etc.
Multidisciplinary and industrial applications
Chemical and biomedical engineering, automotive, oil extraction and
aeronautic industry, flow in porous media, Fluid Dynamics
Simulation, Fluid Dynamics Simulation in Turbomachinery Flow
Analysis of Pump Turbines, Water, air, vibration analysis through
fluid flow modelling, Electromagnetic Field Simulation, Virtual Wind
Tunnels, Structural analysis Statics (Stress, Deformation), Dynamics
(Vibration), Eigen value, Fatigue, Thermal load Electric power
plants, General plant components Computational fluid dynamics
Compressible flow, Incompressible flow, Heat transfer,
Multiphase/multi component flow, Combustion, Reaction,, Noise (Flow-
induced sound) Gas turbines/Steam turbines,Combustors, Nuclear plant
components, Hydro turbines, Pumps, Heat exchangers, Piping systems
Computational electro-magnetics Static elecromagnetics, Eddy
current, Electromagnetic wave, Electric circuit Nuclear fusion
reactor, Transformers, Switch gear, Rotating machinery,
Inverters/Converters Coupled problems Fluid-structure coupled
analysis, (Flow-induced vibration), Fluid-electric field coupled
analysis, (Insulation) Heat exchangers, Electric power transmission
components
CoSSoM'07 - COMPLEX SYSTEMS AND SELF-ORGANIZATION MODELLING:
The aim of this workshop is to concern itself with the use of emergent
computing and self-organization modelling within various applications
of complex systems. We focus our attention both on the innovative
concepts and implementations to model self-organizations, but also
the relevant applicative domains which can use them in an efficient
way. The first part covers, collective intelligence and dynamic
combinatorics are conceptual tools which can be used to model
self-organization processes.
The second part covers, geographical information systems (GIS),
cognitive sciences and natural ecosystems are some relevant applicative
domains on which we propose to focus our attention.
WORKSHOP ON MULTI-AGENT SYSTEMS AND SIMULATION (MAS&S):
Multi-agent systems (MAS) provide powerful models for representing
real-world environments with an appropriate degree of complexity
and dynamism. Several industrial experiences have already shown
that the use of MAS offers advantages in manufacturing processes,
e-Commerce, and network management. Since MAS in such contexts are to
be tested before their actual deployment and execution, methodologies
that support validation through simulation of the MAS under
development
are highly required. In fact, validation through simulation can
demonstrate that a MAS correctly behaves according to its
specifications.
Moreover, discrete-event simulators can be adopted to evaluate how
complex
MAS work on scales much larger than those achievable in real testbeds.
SIMULATION OF ELECTRICAL SYSTEMS:
Modelling of Power System Generation and Distribution, Power System
Protection, Wind and Solar Grid Connected Systems, Industrial Electric
Drives, Power Electronic Converter Topologies, Power Electronic
Devices, Electromechanical devices, Industrial Sensors. Modelling
and simulation of Control of Electrical Systems, Industrial
Electronics and Electric Drives.
TUTORIALS:
Tutorials can be proposed in the following three categories:
T1- Introductory tutorials
T2- State of the Art Tutorials
T3- Software and Modelware Tutorials
Tutorial proposals should be emailed to Philippe.Geril@eurosis.org
The following Tutorial is already scheduled:
SIMULA and 40 Years of Object-Oriented Programming
By Eugene Kindler, University of Ostrava, Ostrava, Czech Republic.
POSTER SESSION:
The poster session only features work in progress. Next to the
actual poster presentation, these submissions also feature as short
papers in the Proceedings.
STUDENTS SESSION:
This session is for students who want to present their work in
progress or part of their doctoral thesis as a paper. Student papers
are denoted by the fact that only the name of the student appears on
the paper as an author. They are published as short papers in the
Proceedings.
DIVERSE ACTIVITIES:
For demonstrations or video sessions, please contact EUROSIS.
Special session will be set up for vendor presentations in co-
ordination with the scientific program. User Group meetings for
simulation languages and tools can be organised the day before the
conference. If you would like to arrange a meeting, please contact
the Conference Chairs. We will be happy to provide a meeting room
and other necessary equipment.
Partners for projects session(s) will be organised by EUROSIS to
give potential project teams or individuals the opportunity to
present their research in order to link up with fellow researchers
for future research projects. Those wishing to participate in this
session need to send a proposal to EUROSIS.
A EUROSIS TC Meeting and an EU Project update meeting
EXHIBITION:
A special exhibition will be held during the conference focused on
simulation tools. For more information please contact EUROSIS for
further details. Email: Philippe.Geril@eurosis.org
DEADLINES AND REQUIREMENTS:
Send all submissions in an ELECTRONIC FORM ONLY in zipped
Microsoft Word format, PDF or Postscript format indicating the
designated track and type of submission (full paper or an extended
abstract) to the EUROSIS (Philippe.Geril@eurosis.org).
Please provide your name, affiliation, full mailing address,
telephone / fax number and Email address on all submissions as well.
For submissions please put in the subject of your Email the
following indications: ESM2007 and designated track or USE THE
ABSTRACT SUBMISSION PAGE!!
Only original papers, which have not been published elsewhere, will
be accepted for publication
REGISTRATION FEES:
Registration Fees
Author EUROSIS Other
Members Participants
Pre-reg before 485 EURO 485 EURO 545 EURO
September 30th 2007
Registration after Pre-registration 545 EURO 595 EURO
September 30th 2007 required
The registration fee includes one copy of the Conference
Proceedings, coffee and tea during the breaks, all lunches, a
welcome cocktail and a conference dinner.
PAPER SUBMISSION TYPES:
FULL PAPER (including abstract, conclusions, diagrams, references)
During review, the submitted full papers can be accepted as a
regular 5 page paper. If excellent, full papers can be accepted by
the program committee as an extended (8-page) paper. Each submission
will be reviewed by at least three members of the International
Program Committee.
EXTENDED ABSTRACT (at least five pages)
Participants may also submit a 5 page extended abstract for a
regular (5 pages) or short (3 pages) paper or poster, which will be
reviewed by the International Program Committee. All accepted papers
will be published in the ESM 2007 Conference Proceedings.
SHORT ABSTRACT (at least three pages)
Participants may also submit a 3 page abstract for a short paper or
poster, which will be reviewed by the International Program
Committee. All accepted papers will be published in the ESM 2007
Conference Proceedings.
ONE PAGE ABSTRACTS ARE NOT ACCEPTED.
CORRESPONDENCE ADDRESS:
Philippe Geril
Ghent University
Faculty of Engineering
Dept. of Industrial Management
Technologiepark 803
B-9062 Ghent-Zwijnaarde, Belgium
Tel: +32 9 2645509
Fax: + 32 9 2645824
Email: philippe.geril@eurosis.org
OUTSTANDING PAPER AWARD:
The 2007 European Simulation and Modelling Conference Committee will
select the Outstanding Paper of the Conference. The author of this
paper will be awarded a free registration for a EUROSIS conference.
Only papers SUBMITTED AS FULL papers will be eligible for the
Outstanding Paper Award.
Selected papers are published in the following journal:
International Journal of Computational Science and Engineering
(IJCSE) to be published by InderScience:
http://www.inderscience.com/catalogue/c/ijcse/indexijcse.html
LANGUAGE:
The official conference language for all papers and presentations is
English
IMPORTANT DEADLINES:
EARLY BIRD SUBMISSION DEADLINE: MAY 30TH, 2007
SUBMISSION DEADLINE: JUNE 15TH, 2007 -JULY 1, 2007
June 15 - July 1, 2007:
Submit contributed full-papers
(5 to 8 proceedings pages) not previously published. These
submissions, when accepted will be published as regular or
extended papers, depending on their quality.
June 15 - July 1, 2007:
Submit extended abstracts (5 abstract pages) or short papers (3
abstract pages), reports of scientific projects and summaries of
posters. These submissions, when accepted will be published as
regular, of up to 5 proceedings page papers.
June 15 - July 1, 2007:
Submit one -to -three page proposals to present tutorials,
to organise and chair panel sessions, to organise user meetings,
vendor sessions or to exhibit software
July 1, 2007:
Submit abstracts for student and poster session
LATE SUBMISSION DEADLINE JULY 25TH 2007
AUGUST 15, 2007:
Notification of Acceptance or Rejection
OCTOBER 1, 2007:
Authors provide camera-ready manuscript
October 22-24, 2007:
Conference
REPLY CARD:
First Name:
Surname:
Occupation and/or Title:
Affiliation:
Mailing Address
Zip code: City: Country.
Telephone: Fax:
E-Mail:
Yes, I intend to attend the ESM 2007:
[ ] Presenting a paper, by submitting a full paper
[ ] Presenting a short paper (by submitting an extended abstract)
[ ] Participating in the industrial program
[ ] Organizing a vendor session
[ ] Proposing a panel discussion (please mention names of
panellists)
[ ] Contributing to the exhibition
[ ] Without presenting a paper
The provisional title of my paper / exhibited tool is:
With the following highlights:
The paper belongs to the category (please tick only one):
[ ] Modelling Methodology
[ ] Modelling Simulation Tools
[ ] Object-Orientation and Re-use
[ ] Simulation and AI
[ ] AI and Expert Systems
[ ] AI and Neural Networks
[ ] AI and Fuzzy Systems
[ ] High Performance/Parallel and Large Scale Computing
[ ] Simulation in Education and Graphics Visualization Simulation
[ ] Simulation in Environmental Ecology, Biology and Medicine
[ ] Analytical and Numerical Modelling Techniques
[ ] Web Based Simulation
[ ] Agent Based Simulation
[ ] Cosmological Simulation
[ ] SIMULA- Special 40th anniversary Track
[ ] Simulation with Petri Nets
[ ] Simulation with Bond Graphs
[ ] DEVS
[ ] Fluid Flow Modelling Simulation
[ ] Complex Systems and Self-Organization Modelling
[ ] Multi-Agent Systems and Simulation
[ ] Modelling and Simulation of Electrical Systems
[ ] Poster session
[ ] Student Session
Other colleague(s) interested in the topics of the conference
is/are:
Name:
Address:
Name:
Address:
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
SELECTIONS FROM IEEE TRANSACTIONS ON AUTOMATIC CONTROL
VOLUME 52, ISSUE 1
JANUARY, 2007
1) On Decidability of Distributed Diagnosis Under Unbounded-Delay
Communication
Qiu, W.; Kumar, R.; Jiang, S.
Abstract:
In this note we show that the problem of distributed diagnosis under
unbounded communication delay is decidable when there is no inferencing
involved among the diagnosers. The notion of jointinfin-diagnosability
is introduced to capture the diagnosability property in this setting.
We show the equivalence of jointinfin-diagnosability and
codiagnosability, which captures the diagnosability property in the
decentralized setting (i.e., one involving no communication). Thus the
decidability result follows from the decidability of codiagnosability
established in a previous paper. We also show that the property of
jointinfin-diagnosability is stronger than decentralized-diagnosability
introduced in a previous paper
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
SELECTIONS FROM INTERNATIONAL JOURNAL OF CONTROL
VOLUME 80 ISSUE 2
FEBRUARY, 2007
1) Hybridization of optimal control problems
A. L. Amadori; C. D'Apice; R. Manzo; B. Piccoli
Abstract:
Optimization problems for hybrid systems have attracted a lot of
attention in recent years. This interest stimulated numerous scientific
works and the development of tools to study optimal trajectories, such
as necessary conditions. The idea of the present contribution is to use
such results for hybrid systems to construct a hybridization of an
optimal control problem. The approximation via a hybrid system was
already considered in the literature, but using different methods to
obtain a reduction to minimal path problems on a graph. Our procedure
gives an efficient approximation, i.e. more efficient than standard
discretization.
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
SELECTIONS FROM IEEE TRANSACTIONS ON AUTOMATIC CONTROL
VOLUME 52, ISSUE 2
FEBRUARY, 2007
1) Max-Plus $(A,B)$-Invariant Spaces and Control of Timed
Discrete-Event Systems
Katz, R. D.
Abstract:
The concept of $(A,B)$-invariant subspace (or controlled invariant) of
a linear dynamical system is extended to linear systems over the
max-plus semiring. Although this extension presents several
difficulties, which are similar to those encountered in the same kind
of extension to linear dynamical systems over rings, it appears capable
of providing solutions to many control problems like in the cases of
linear systems over fields or rings. Sufficient conditions are given
for computing the maximal $(A,B)$-invariant subspace contained in a
given space and the existence of linear state feedbacks is discussed.
An application to the study of transportation networks which evolve
according to a timetable is considered.
2) An Optimization Approach to Petri Net Monitor Design
Basile, F.; Chiacchio, P.; Giua, A.
Abstract:
This note addresses the problem of enforcing generalized mutual
exclusion constraints on a Petri net plant. First, we replace the
classical partition of the event set into controllable and
uncontrollable events from supervisory control theory, by associating a
control and observation cost to each event. This leads naturally to
formulate the supervisory control problem as an optimal control
problem. Monitor places which enforce the constraint are devised as a
solution of an integer linear programming problem whose objective
function is expressed in terms of the introduced costs. Second, we
consider timed models for which the monitor choice may lead to
performance optimization. If the plant net belongs to the class of
mono-T-semiflow nets, we present an integer linear fractional
programming approach to synthesize the optimal monitor so as to
minimize the cycle time lower bound of the closed loop net. For
strongly connected marked graphs the cycle time of the closed-loop net
can be minimized.
3) Reachability of a Set of Facets for Linear Affine Systems With n-1
Inputs
Roszak, B.; Broucke, M. E.
Abstract:
This note provides new necessary and sufficient conditions for an
$n$-dimensional linear affine system with $n-1$ inputs to reach an exit
facet (or set of exit facets) of a simplex. The conditions reduce the
original ${cal N} P$-hard necessary and sufficient conditions to a set
of at most $n$ LP problems.
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
DISCRETE EVENT DYNAMIC SYSTEMS
VOLUME 17, NUMBER 1
MARCH, 2007
1) A Location-free Algorithm of Energy-Efficient Connected Coverage for
High Density Wireless Sensor Networks
Hongxing Bai, Xi Chen, Bin Li, Dianfei Han
Abstract:
One of the most serious concerns for wireless sensor networks (WSN) is
energy. To obtain long lifetime, one potential method is deploying
redundant sensors in the WSN and let each sensor switch its state
between ACTIVE and OFF. At the same time, the WSN should meet various
requirements of quality of service (QoS). This paper focuses on two
important measurements of OoS: sensing coverage and network
connectivity. Existing researches have provided many algorithms to
schedule the nodes' states for coverage preserving, including
location-free ones. Our work differs from existing location-free
algorithms in several key ways: (1). We propose a novel principle on
coverage preserving that is suitable for location-free schemes; (2).
Following the principle, a distributed, localized and location-free
node scheduling algorithm, Stand Guard Algorithm (StanGA), is proposed
for treating coverage and connectivity in a unified scheme. Under
certain conditions, StanGA can guarantee network connectivity and any
degree of sensing coverage. Simulation results show that StanGA is
scalable and robust, and also show that StanGA outperforms existing
location-free algorithms even when only coverage issue is considered.
2) Reinforcement Learning Based Algorithms for Average Cost Markov
Decision Processes
Mohammed Shahid Abdulla, Shalabh Bhatnagar
Abstract:
This article proposes several two-timescale simulation-based
actor-critic algorithms for solution of infinite horizon Markov
Decision Processes with finite state-space under the average cost
criterion. Two of the algorithms are for the compact (non-discrete)
action setting while the rest are for finite-action spaces. On the
slower timescale, all the algorithms perform a gradient search over
corresponding policy spaces using two different Simultaneous
Perturbation Stochastic Approximation (SPSA) gradient estimates. On the
faster timescale, the differential cost function corresponding to a
given stationary policy is updated and an additional averaging is
performed for enhanced performance. A proof of convergence to a locally
optimal policy is presented. Next, we discuss a memory efficient
implementation that uses a feature-based representation of the
state-space and performs TD(0) learning along the faster timescale. The
TD(0) algorithm does not follow an on-line sampling of states but is
observed to do well on our setting. Numerical experiments on a problem
of rate based flow control are presented using the proposed algorithms.
We consider here the model of a single bottleneck node in the
continuous time queueing framework. We show performance comparisons of
our algorithms with the two-timescale actor-critic algorithms of Konda
and Borkar (1999) and Bhatnagar and Kumar (2004). Our algorithms
exhibit more than an order of magnitude better performance over those
of Konda and Borkar (1999).
3) Optimal Threshold Levels in Stochastic Fluid Models via
Simulation-based Optimization
Gul Gurkan, Fikri Karaesmen, Ozge Ozdemir
Abstract:
A number of important problems in production and inventory control
involve optimization of multiple threshold levels or hedging points. We
address the problem of finding such levels in a stochastic system whose
dynamics can be modelled using generalized semi-Markov processes
(GSMP). The GSMP framework enables us to compute several performance
measures and their sensitivities from a single simulation run for a
general system with several states and fairly general state
transitions. We then use a simulation-based optimization method,
sample-path optimization, for finding optimal hedging points. We report
numerical results for systems with more than twenty hedging points and
service-level type probabilistic constraints. In these numerical
studies, our method performed quite well on problems which are
considered very difficult by current standards. Some applications
falling into this framework include designing manufacturing flow
controllers, using capacity options and subcontracting strategies, and
coordinating production and marketing activities under demand
uncertainty.
4) An Algorithm for Timing Verification of Systems Constrained by
Min-max Inequalities
Yiping Cheng, Da-Zhong Zheng
To determine the maximum separation between events for nonrepetitive
systems with max and linear constraints, there are the "iterative
tightening from above" (ITA) approach and the "iterative tightening
from below" (ITB) approach. Since such systems can be formulated as
systems constrained by min-max inequalities, this paper gives an
algorithm named MMIMaxSep for solving min-max inequalities. The
algorithm is a generalization and a mathematically elegant
reformulation of Yen et al.'s MaxSeparation algorithm which uses the
ITB approach. Our numerical experiments indicate that MMIMaxSep is very
efficient. Moreover, MMIMaxSep has a unique advantage of being able to
directly handle tree-represented min-max functions, and its complexity
is closely related to the complexity of computing cycle time of
min-max functions.
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
SELECTIONS FROM CONTROL ENGINEERING PRACTICE
VOLUME 15, ISSUE 5
MAY, 2007
1) Supervisory synthesis for product-driven automation and its
application to a flexible assembly cell.
Jean-Francois Petin, David Gouyon and Gerard Morel
Abstract:
A make-to-order business model requires manufacturing control to face
customised product variability and traceability. Considering the
product as central to the automation rationale provides each product
occurrence with informational and decisional capabilities. This paper
considers a formal framework for such product-driven automation within
the context of the Supervisory Control Theory. Two interoperable
classes of supervisors are synthesised. Product supervisors control
routings through the manufacturing system according to customised
product specifications and resource capabilities, and resource
supervisors manage the execution of operations required by product
supervisors. A case study, based on a flexible assembly cell,
illustrates the approach and opens issues for industrial practice.
web site: click here
The End
|
[Home]
[Members]
[Newsletters]
[Conferences]
[DES Researchers]
[Links]
Please send suggestions to:
Ryan Leduc,
destc@cas.mcmaster.ca
|
