DESTC: Newsletter - May, 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. Books
2.1 Modelling and Analysis of Hybrid Supervisory Systems", by Villani,
Emilia; Miyagi, Paulo E. & Vale
3. Conferences
3.1 MIC 2008 - The 27th IASTED International Conference on Modelling,
Identification, and Control, Innsbruck, Austria, February 11 -
13, 2008
3.2 IFAC Workshop on Manufacturing Modelling, Management and Control (MIM
2007), Budapest, Hungary, November 14 - 16, 2007
3.3 2008 IEEE International Conference on Networking, Sensing, and
Control, Sanya, China, April 6 - 8, 2008
3.4 2008 IEEE World Congress on Computational Intelligence, Hong Kong
Convention and Exhibition Cent, June 1 - 6, 2008
3.5 NSTOOLS 2007 - International Workshop on Network Simulation Tools,
Nantes, France, October 22, 2007
3.6 ICTAI 2007 - 19th IEEE INTERNATIONAL CONFERENCE on TOOLS with
ARTIFICIAL INTELLIGENCE, Patras, Greece, October 29 - 31, 2007
3.7 21st Canadian Conference on Electrical and Computer Engineering,
Niagara Falls, Ontario, Canada, May 4 - 7, 2008
4. Journals
4.1 Selections from Automatica, Volume 43, Issue 6, June 2007
4.2 Selections from IEEE Transactions on Automatic Control, Volume:
52, Issue: 4, April 2007
4.3 Discrete Event Dynamic Systems, Volume 17 Number 2, June 2007
Welcome to the newsletter of the IEEE Control Systems Technical Committee on Discrete Event Systems!
See http://www.cas.mcmaster.ca/destc/ for information on the DESTC.
Personal note from the editor:
Welcome to the May 2007 DESTC newsletter,
Ryan
Contributed by: Ryan Leduc <leduc at mcmaster dOt ca>
MODELLING AND ANALYSIS OF HYBRID SUPERVISORY SYSTEMS
Villani, Emilia; Miyagi, Paulo E. & Vale
Springer, 2007
ISBN 978-1-84628-650-6
http://www.springer.com/west/home?SGWID=4-102-22-173696915-0&changeHeader=true
One of the key fascinations of industrial systems is that they can be
very complex, comprised as they often are, of continuous-time
processes, discrete-event systems, time- and process-dependent
decision rules, information systems, control systems, external
operational interfaces and operator interventions. It is a massive
challenge for the control engineer to model this system complexity
and then devise techniques to analyze the system and its supervisory
control. Since the late 1980s, as a response to this complexity, the
study of hybrid systems has emerged.
In their simplest form, hybrid systems comprise continuous-time
dynamics, discrete-event processes and the interaction between
the two; however, in this book the authors seek a much closer
correspondence to industrial systems. The industrial system are
considered to be a self-contained object or process controlled
by a hybrid supervisory system or controller.
This productive system structure is sufficiently general to accommodate
internal discrete decision rules, external user interfaces and
information system links. For this new conceptual framework of a
productive system, the authors then proceeds to construct a modeling
formalism based on Petri-net and differential-equation systems for
the respective discrete-event and continuous-time-process aspects
and uses the object-oriented paradigm to incorporate system
complexity.
The book "Modelling and Analysis of Hybrid Supervisory Systems" makes
a valuable contribution to narrow the theory-practice gap having better
and more realistic industrial system representations that support
useful synthesis and analysis tools. The volume should be of considerable
interest to industrial engineers and academic researchers.
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
MIC 2008 - THE 27TH IASTED INTERNATIONAL CONFERENCE ON MODELLING,
IDENTIFICATION, AND CONTROL
Innsbruck, Austria
February 11 - 13, 2008
Sponsors
The International Association of Science and Technology for
Development (IASTED)
Technical Committee on Modelling and Simulation
Technical Committee on Control
World Modelling and Simulation Forum (WMSF)
Conference Chair
Dr. Luca Bruzzone - University of Genoa, Italy
Purpose
This conference provides an opportunity for prominent international
specialists, researchers, and engineers to present and observe the
latest research, results, and ideas in the areas of modelling,
identification, and control. MIC 2008 aims to strengthen relations
between industry, research laboratories and universities. All papers
submitted to this conference will be double blind reviewed by at
least two reviewers. Acceptance will be based primarily on
originality and contribution.
MIC 2008 will be held in conjunction with the IASTED International
Conference on:
Artificial Intelligence and Applications (AIA 2008)
Parallel and Distributed Computing and Networks (PDCN 2008)
Software Engineering (SE 2008)
Signal Processing, Pattern Recognition, and Applications (SPPRA 2008)
Biomedical Engineering (BioMED 2008)
Computer Graphics and Imaging (CGIM 2008)
Location
Innsbruck is nestled in the valley of the Inn River and tucked
between the Austrian Alps and the Tuxer mountain range. It has twice
hosted the Winter Olympics and is surrounded by the eight ski regions
of the Olympic Ski World, including the Stubai Glacier, which offers
skiing year round. Climbing the 14th century Stadtturm on Herzog
Friedrich Strasse provides a stunning view of the town and the
breathtaking scenery that surrounds it. Concerts at Ambras Castle
provide listening pleasure in a beautiful renaissance setting. The
sturdy medieval houses and sidewalk cafes of Old Town Innsbruck
beckon you to sit for a while and watch people stroll by.
With its unique blend of historical, intellectual, and recreational
pursuits, Innsbruck offers something for every visitor. MIC 2008 will
be held at the world-famous Congress Innsbruck, located in the heart
of the city, near the historical quarter.
Scope
The topics of interest include, but are not limited to:
MODELLING:
Model Development
Bond Graph Modelling
Statistical and Probabilistic Modelling
Numerical Methods
System Theory
3-Dimensional Modelling
Continuous and Discrete Methodology
Simulation
Time Series Analysis
Multi-Paradigm Modelling
Environmental Modelling
Energy and Power Systems Modelling
Mechanical Modelling
Modelling of Robots and Mechatronic Devices
Finite Element Modelling
Performance Modelling
IDENTIFICATION:
Estimation
Filtering
Parametric Identification
Non-Parametric Identification
Structural Identification
Validation
CONTROL:
Control Theory
Linear Control
Non-Linear Control
Optimization
Intelligent Control
Adaptive Control
Predictive Control
Fuzzy Control
Stochastic Control
Process Control
PID Control
Robust Control
Variable Structure Control
Discrete Events
Stability
Control using Neural Networks
Computer Control
Robot Control
Distributed Parameter Control Systems
Submission
Initial Papers
Submit your paper via our website at:
www.iasted.org/conferences/submit-596.html.
All submissions should be in Adobe Acrobat (.pdf) format. The IASTED
Secretariat must receive your paper by September 15, 2007. Receipt of
paper submission will be confirmed by email.
Complete the online initial paper submission form designating an
author who will attend the conference and provide four key words to
indicate the subject area of your paper. At least one of the key
words must be taken from the list of topics provided under Scope.
Initial paper submissions should be approximately six pages.
Formatting instructions are available at: www.iasted.org/formatting-
initial.htm.
All papers submitted to IASTED conferences must be previously
unpublished and may not be considered for publication elsewhere at
any time during IASTED's review period. Authors are limited to a
maximum of three paper submissions. Authors are responsible for
having their papers checked for style and grammar prior to submission
to IASTED. Papers may be rejected if the language is not satisfactory.
Notification of acceptance will be sent via email by November 1,
2007. Final manuscripts are due by November 15, 2007. Registration
and final payment are due by December 1, 2007. Late registration fees
or paper submissions will result in the papers being excluded from
the conference proceedings.
Final Papers
Send your final manuscripts via email to: finalpapers@iasted.org. The
subject line for the final manuscript submission must include your
six-digit paper number. The formatting instructions can be found at:
www.iasted.org/formatting-final.htm and must be strictly followed.
The page limit for final papers is six single-spaced pages in 10
point Times New Roman font. Only one paper of up to six pages is
included in the regular registration fee. There will be an added
charge for extra pages and additional papers.
Tutorials
Proposals for three-hour tutorials should be submitted online by
September 15, 2007. Tutorials are to be submitted via the following
website address:
www.iasted.org/conferences/tutorialsubmit-596.html.
A tutorial proposal should clearly indicate the topic, background
knowledge expected of the participants, objectives, time allocations
for the major course topics, and the qualifications of the instructor
(s).
Special Sessions
Persons wishing to organize a special session should email a proposal
to calgary@iasted.org by September 15, 2007. Proposals should include
a session title, a list of the topics covered, and the qualifications
and brief biography of the session organizer(s). Papers submitted to
the special session must be received by September 15, 2007, unless
otherwise stipulated by the Special Session Organizer. A minimum of
five papers must be registered and fully paid in order for this
session to be included in the conference program. More information on
special sessions is available at:
www.iasted.org/conferences/specialsession-596.html.
Journals
Expanded and enhanced versions of papers published in the conference
proceedings can also be considered for inclusion in one of the IASTED
journals. Information on the submission of papers to journals is
available at: www.actapress.com/SubmissionInfo.aspx.
Whole proceedings as well as single papers can now be purchased
online. Please visit ACTA Press: www.actapress.com.
Important Deadlines
Submissions due September 15, 2007
Notification of acceptance November 1, 2007
Final manuscripts due November 15, 2007
Registration deadline December 1, 2007
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
IFAC WORKSHOP ON MANUFACTURING MODELLING, MANAGEMENT AND CONTROL (MIM
2007)
Budapest, Hungary
November 14 - 16, 2007
MEETING SCOPE
Manufacturing systems of our days work in a fast changing environment
full of uncertainties. Increasing complexity is another feature
showing up in production processes and systems, furthermore, in
enterprise structures, as well. One of the recent areas of research
is related to the globalization of production manifested in
production networks.
By using appropriate modelling and digital enterprise (DE)
technologies, theoretically, all the important production-related
information is available and manageable in a controlled, user-
dependent way.
The main concepts of adaptive manufacturing, digital manufacturing,
knowledge-based manufacturing, networked manufacturing will be
addressed at the Workshop together with requirements for real-time
functioning and cooperativeness of the whole system.
The Workshop's objective is to provide an international forum to
discuss the state-of-the-art of manufacturing modelling, management
and control, to disseminate the recent advances and to share views on
perspectives of this highly exciting area.
MAIN TOPICS
Product design support systems
Modelling, simulation, control and monitoring of manufacturing
processes and systems
Production planning, scheduling
Quality Management
Design and implementation methods for CIM
Architectures of intelligent manufacturing systems
Robotics in manufacturing
Complexity, flexibility, transformability, maintainability,
reliability, safety and dependability in CIM
Integration and communication
Artificial intelligence and machine learning approaches
Multi-agent approach in the context of manufacturing systems
Complex adaptive systems, emergent synthesis in manufacturing
Sensor networks, ubiquitous computing, active identifiers, wireless
communication in manufacturing
Virtual reality and manufacturing
Digital factories, extended enterprises, production networks
Knowledge management in production
Mass customisation
Human factors and education
KEY DATES
Full paper submission deadline June 15, 2007
Notification of acceptance August 15, 2007
Final paper September 15, 2007
Early registration until September 15, 2007
IFAC Workshop on Manufacturing Modelling, Management and Control
November 14-16, 2007
AUTHOR GUIDELINES
The official language of the conference is English.
Submission procedure :
Authors are kindly invited to submit full papers in English, in pdf
format, to the Workshop Secretariat: mim2007@conferences.hu
Paper length must not exceed 6 pages. Formatting must comply with the
IFAC standard (A word sample is available here).
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 IFAC Congress, Symposia,
Conferences and Workshops will be hosted on-line on the IFAC-
PapersOnLine.net website. 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 required to transfer copyrights electronically. 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 submit an expanded
version of the presented material for journal publication elsewhere.
In this case, the paper must carry a reference to the IFAC meeting
where it was originally presented and, if the paper has appeared on
the website www.IFAC-PapersOnLine.net, also a reference to this
publication.
CONTACT
Eva Thiry
MIM2007 Workshop Secretariat, c/o SCOPE Ltd
H-1111 Budapest
Kende u. 13-17.
Hungary
phone: +361 279 6214
fax: +361 386 9378
e-mail: mim2007@conferences.hu
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL
Sanya, China
April 6 - 8, 2008
The 2008 IEEE International Conference on Networking, Sensing and
Control will be held in Sanya, China, April 6-8, 2008. The main theme
of the conference is advanced technologies for emergency planning and
response. Effective management of emergency events, including natural
disasters and terrorist attacks, requires more sophisticated command,
control, communication and coordination systems, which in turn raises
challenge to researchers in the areas of networking, sensing, human
factors, operational research, logistics, decision-making,
information fusion, control theory, and system simulation.
This conference will provide a remarkable opportunity for the
academic and industrial community to address new challenges and share
solutions, and discuss future research directions. It will feature
plenary speeches, industrial panel sessions, funding agency panel
sessions, interactive sessions, and invited/special sessions.
Contributions are expected from academia, industry, and emergency
management agencies. Technical topics of the conference include but
are not limited to:
Bio-informatics, bio-signals and systems
Collaborative systems
Complex system management
Control of networks
Distributed intelligent systems
Emergency mitigation
Emergency planning
Emergency response
Fuzzy and neural systems
Hazard mitigation
Heterogeneous wireless networks
Homeland security
Human factors
Human adaptive mechatronics
Human/computer interface
Information systems & infrastructure
Intelligent vehicle highway systems
Medical and patient monitoring
Micro/nano, electro-mechanical sensor systems
Multi-agent systems
Multi-level multi-objective optimization
Network security
Network-based computing systems
Networked control systems
Next generation of infrastructures
Sensor design, integration and fusion
Sensor networks
Smart car and vehicle control
Smart home environments
Smart vision and image processing
Space-based networking
Tele-robotics
Wireless communications
Workflow management
PAPER SUBMISSION
Complete manuscripts must be electronically submitted through
http://cil.ece.uic.edu/ICNSC08/. Submitted manuscripts should be at
most six (6) pages in IEEE two-column format, including figures,
tables, and references. Please use the LaTeX style file or Microsoft
Word template to prepare your manuscript. However, submission MUST be
in PDF format.
IMPORTANT DATES
Special session proposals deadline ------------------October 1, 2007
Paper submission deadline----------------------------October 1, 2007
Notification of acceptance---------------------------November 15, 2007
Camera-ready copy due--------------------------------December 15, 2007
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
2008 IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE
Hong Kong Convention and Exhibition Cent
June 1 - 6, 2008
The 2008 IEEE World Congress on Computational Intelligence (WCCI
2008) will be held at the Hong Kong Convention and Exhibition Centre
during June 1-6, 2008.
Sponsored by the IEEE Computational Intelligence Society, co-
sponsored by the International Neural Network Society, Evolutionary
Programming Society and the Institution of Engineering and
Technology, WCCI 2008 is composed of the 2008 International Joint
Conference on Neural Networks (IJCNN 2008), the 2008 IEEE
International Conference on Fuzzy Systems (FUZZ-IEEE 2008) and the
2008 IEEE Congress on Evolutionary Computation (CEC 2008). WCCI 2008
will be the fifth milestone in this series with a glorious history
from WCCI 1994 in Orlando, WCCI 1998 in Anchorage, WCCI 2002 in
Honolulu, to WCCI 2006 in Vancouver. The congress will feature world-
renowned plenary speakers, regular technical sessions,
state-of-the-art special sessions, interactive poster sessions,
moderated panel discussions, informative pre-congress tutorials,
themed post-congress workshops, and entertaining social functions.
Call for Contributed Papers
Researchers are invited to contribute high-quality papers to WCCI
2008. All papers are to be submitted electronically through the
Congress website by December 1, 2007. All submitted papers will be
refereed by experts in the fields based on the criteria of
originality, significance, quality, and clarity. For inquiries,
contact IJCNN2008 Program Chair Derong Liu at dliu@ece.uic.edu, FUZZ-
IEEE2008 Program Chair Gary Feng at megfeng@cityu.edu.hk, or CEC2008
Program Chair Zbigniew Michalewicz at zbyszek@cs.adelaide.edu.au.
Call for Special Sessions
WCCI 2008 Program Committees solicit proposals for special sessions
within the technical scopes of the three conferences. Special
sessions, to be organized by internationally recognized experts, aim
to bring together researchers in special focused topics. Cross-
fertilization of the three research areas of computational
intelligence with new emerging technologies is strongly
encouraged. Papers submitted for special sessions are to be peer-
reviewed with the same criteria used for the contributed papers.
Researchers interested in organizing special sessions are invited to
submit formal proposals to IJCNN2008 Special Sessions Chair Jagath C.
Rajapakse at asjagath@ntu.edu.sg, FUZZ-IEEE2008 Special Sessions
Chair Xiao-Jun Zeng at x.zeng@manchester.ac.uk, CEC2008 Special
Sessions Chair Yuhui Shi at shi@ieee.org, or Special Sessions Chair
on Emerging Areas Byoung-Tak Zhang at btzhang@bi.snu.ac.kr by
November 1, 2007. A special session proposal should include a
proposed session title, a brief description of the scope and
motivation, biographic and contact information of the organizer(s).
Call for Tutorials and Workshops
WCCI 2008 will also feature pre-congress tutorials and post-congress
workshops covering fundamental and advanced computational
intelligence topics. A tutorial proposal should include title,
outline, expected enrollment, and presenter biography. Any inquires
regarding the tutorials should be addressed to Tutorial Chairs
Wlodzislaw Duch at wduch@is.umk.pl, Russell Eberhart at
reberhar@iupui.edu, and Qiang Shen at qqs@aber.ac.uk by January 1,
2008. Any inquires regarding the workshops should be addressed to
Workshops Chairs Irwin K.C. King at king@cse.cuhk.edu.hk and Yangmin
Li at ymli@umac.mo by January 1, 2008.
Call for Competitions
WCCI 2008 will host competitions to stimulate research in
computational intelligence, promote fair evaluations, and attract
students. The proposals should include descriptions of the problems
addressed, motivations and expected impact on computational
intelligence, data description, evaluation procedures and established
baselines, schedules, anticipated number of participants, and a
biography of the main team members. Proposals are invited
to be sent to Competitions Chairs Isabelle Guyon at
isabelle@clopinet.com for IJCNN2008, Leszek Rutkowski at
lrutko@kik.pcz.czest.pl for FUZZ-IEEE2008, or Philip Hingston at
p.hingston@ecu.edu.au for CEC2008 by October 1, 2007.
Important Due Dates:
Competition Proposal: October 1, 2007
Special Session Proposal: November 1, 2007
Paper Submission: December 1, 2007
Tutorial/workshop Proposal: January 1, 2008
Decision Notification: February 1, 2008
Camera-Ready Submission: March 1, 2008
More information can be found at http://www.wcci2008.org
For general inquiries, please contact General Chair Jun Wang at
jwang@mae.cuhk.edu.hk
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
NSTOOLS 2007 - INTERNATIONAL WORKSHOP ON NETWORK SIMULATION TOOLS
Nantes, France
October 22, 2007
** In technical cooperation with ACM SIGMETRICS and SIGSIM **
The Network Simulation Tools Workshop (NSTools) is a one-day event
held in conjunction with the Second International Conference on
Performance Evaluation Methodologies and Tools (VALUETOOLS'07), which
will be held in Nantes, France, on October 22, 2007.
** All accepted papers will be made available in the **
** Association for Computing Machinery Digital Library **
** SCOPE **
Simulation tools are widely used within the Networking community to
simulate packet-switched networks and perform a large number of
wildly different tasks: they are often used in the industry and
within both academic and educational settings to design and evaluate
new and existing protocols and architectures.
The aim of the Network Simulation Tools workshop is thus to bring
together academic and industry researchers from both the Networking
and the Simulation communities to discuss current and future trends
in network simulation and to foster interdisciplinary collaborative
research in this area.
** PAPERS **
This workshop does not focus on network research results based on
the use of simulation tools: we are looking for original contributions
on the design and the use of the tools themselves. The following
topics are of particular interest.
Development of new simulation environments:
- parallel and distributed simulations
- real-time simulation of networks within the setting
of a larger real network testbed
- integration of real-world network applications in
conventional simulation tools
- textual and graphical post-processing analysis tools
- large-scale network simulations
- simulation accuracy evaluations
Development of new simulation models especially in, but not restricted
to, the areas of:
- Wireless and mobile networks: 3/4G, 802.11, 802.16/WiMAX, etc.,
- Peer to peer systems,
- Sensor networks, and,
- Delay-tolerant networking,
** IMPORTANT DATES **
Full Papers due: June 1, 2007 ** extended **
Notification of Acceptance: June 30, 2007
Camera-ready Manuscripts due: July 30, 2207
Conference Date: October 22, 2007
** SUBMISSION INSTRUCTIONS **
Conference language is English. Prospective authors are encouraged
to submit a PDF version of the full paper in the ACM conference
proceedings format, which are limited to 10 two-column pages in a
font no smaller than 10-points. Paper submission will be handled
electronically through Cocus (http://cocus.info/).
All submitted papers will go through a peer review process.
** PUBLICATION **
NSTools'07 is in technical cooperation with ACM SIGMETRICS and SIGSIM
All accepted papers will be made available in ACM Digital Library, as
well as indexed by EI and ISI Index.
** WORKSHOP CO-CHAIRS **
Claudio Cicconetti, c.cicconetti@iet.unipi.it, Univ. of Pisa, Italy
Mathieu Lacage, mathieu.lacage@sophia.inria.fr, INRIA, France
** KEYNOTE SPEAKER **
Rajive Bagrodia, UCLA, USA
** TECHNICAL PROGRAM COMMITTEE **
Ozgur Akan, Middle East Technical University Ankara, Turkey
Eitan Altman, INRIA, France
Chadi Barakat, INRIA, France
Andrzej Beben, Warsaw University of Technology, Poland
Sergio Beker, France Telecom, France
Armando Caro Jr., BBN Technologies, USA
Jaudelice Cavalcante de Oliveira, Drexel University, USA
Olivier Dalle, INRIA, France
Thierry Ernst, INRIA, France
Sonia Fahmy, Purdue University, USA
Thomas Fuhrmann, University of Karlsruhe, Germany
Andrei Gurtov, Helsinki Inst. for Information Technology, Finland
Qi He, IBM, USA
Tom Henderson, University of Washington & Boeing, USA
Kun-Chan Lan, NICTA, Australia
Saverio Mascolo, Politecnico di Bari, Italy
Nicolas Montavont, GET/ENST Bretagne, France
Francesco Potorti', ISTI-CNR Pisa, Italy
David Ros, GET/ENST Bretagne, France
Giovanni Stea, University of Pisa, Italy
Michael Welzl, Leopold-Franzens University of Innsbruck, Austria
Lloyd Wood, Cisco, UK
Linda Xie, University of North Carolina, USA
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
ICTAI 2007 - 19TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH
ARTIFICIAL INTELLIGENCE
Patras, Greece
October 29 - 31, 2007
----------------------------------------------------------------------
ELECTRONIC SUBMISSION IS NOW OPEN
----------------------------------------------------------------------
KEYNOTE SPEAKERS
Ian Horrocks, University of Manchester, UK
Rudolf Kruse, Univesrity of Magdeburg, Germany
Constantine D. Spyropoulos, N.C.S.R. Demokritos, Greece
----------------------------------------------------------------------
FINAL CALL FOR PAPERS
The annual IEEE International Conference on Tools with Artificial
Intelligence (ICTAI) provides a major international forum where the
creation and exchange of ideas related to artificial intelligence are
fostered among academia, industry, and government agencies.
The conference facilitates the cross-fertilization of these ideas and
promotes their transfer into practical tools, for developing
intelligent systems and pursuing artificial intelligence
applications. The ICTAI encompasses all the technical aspects
of specifying, developing and evaluating the theoretical
underpinnings and applied mechanisms of the AI based components of
computer tools (i.e. algorithms, methodologies, architectures or
languages).
TOPICS OF INTEREST include (but are not limited to) the following:
AI Algorithms and Computing
AI in Bioinformatics
AI in Computer Security and Information Assurance
AI in Databases and Data Mining
AI in E-commerce
AI in Games
AI in Logistics and Supply Chain Management
AI in Medicine
AI in Multimedia Systems
AI in Real-time and Embedded Applications
AI in Robotics
AI in Software Engineering
Ambient Intelligence
Artificial Life and Societies
Case-Based Reasoning
Cognitive Modelling
Constraint Programming
Collaborative Software Agents
Evolutionary Computing
Hybrid Intelligent Systems
Information Retrieval
Intelligent Agent Architectures and Languages
Intelligent Internet Agents
Intelligent Interface Agents
Intelligent Tutoring/Training Systems
Knowledge-based Systems
Knowledge Discovery
Knowledge Extraction
Knowledge Management and Sharing
Knowledge Representation and Reasoning
Machine Learning
Mobile Intelligent Agents
Natural Language and Speech Processing and Understanding
Neural Networks
Planning and Scheduling
Qualitative Reasoning
Reasoning Under Fuzziness or Uncertainty
Search and Heuristics
Semantic Web Techniques and Technologies
Swarm Intelligence
Vision and Image Processing and Understanding.
SUBMISSION
The submissions should contain original, high quality, not submitted
or published elsewhere work. Papers should be submitted
electronically in pdf format and should conform to IEEE specifications
(single-spaced, double-column, 10-point font size, length up to 8
pages).
The accepted papers will be included in the ICTAI-07 proceedings
published by the IEEE Computer Society.
Extended versions of the best papers of the conference will be
published in a special issue of the International Journal on
Artificial Intelligence Tools (IJAIT) (SCI Indexed).
IMPORTANT DATES
Papers submission: 1 June 2007
Notification of acceptance: 15 July 2007
Camera ready paper: 5 August 2007
GENERAL CO-CHAIRS
Nikolaos Avouris, University of Patras, Greece
Nikolaos Bourbakis, Wright State University, USA
LOCAL CO-CHAIRS
Constantinos Koutsojannis, University of Patras, Greece
Spiros Sirmakessis, RACTI, Patras, Greece
PUBLICATION CHAIR
Giannis Tzimas, RACTI, Patras, Greece
PC CHAIR
Ioannis Hatzilygeroudis, University of Patras, Greece
AREA CHAIRS
Grigoris Antoniou, University of Crete & FORTH, Greece
Rudiger Brause, J.W. Goethe-Universitat, Germany
Paola Campadelli, Universita degli Studi di Milano, Italy
Shyi-Ming Chen, National Taiwan University of Science and Technology,
Taiwan
Silvia Coradeschi, Orebro University, Sweden
Nikolaos Fakotakis, University of Patras, Greece
Eric Gregoire, University d'Artois, France
Susan Haller, State University of New York at Potsdam, USA
Melanie Hilario, University of Geneva, Switzerland
Lakhmi Jain, University of South Australia, Australia
Taghi M. Khoshgoftaar, Florida Atlantic University, USA
Manolis Koubarakis, University of Athens, Greece
Spiros Likothanasis, University of Patras, Greece
Luigi Portinale, University of Eastern Piedmont, Italy
Vasile Palade, Oxford University, UK
Witold Pedrycz, University of Alberta, Canada
Chen-Yu (Phillip) Sheu, University of California at Irvine, USA
Paolo Traverso, Trentino Cultural Institute, Italy
Ioannis Vlahavas, Aristotle University of Thessaloniki, Greece
Maria Virvou, University of Piraeus, Greece
Du Zhang, California State University, USA
PC MEMBERS
Plamen Agelov, Lancaster University, UK
Nick Bassiliades, Aristotle University of Thessaloniki, Greece
Grigorios Beligiannis, University of Patras, Greece
Isabelle Bichindaritz, University of Washington, USA
Stefano Bistarelli, Univ 'G. d'Annunzio', IIT-CNR, Italy
Basilis Boutsinas, University of Patras, Greece
Enhong Chen, University of Science & Technology, China
Shu-Ching Chen, Florida International University, USA
Yuehui Chen, Jinan University, China
Berthe Choueiry, University of Nebraska-Lincoln, USA
Yannis Dimopoulos, University of Cyprus, Cyprus
George Dounias, University of the Aegean, Greece
Anna Esposito, Second Naples University and IIASS, Italy
Andres Folleco, Florida Atlantic University, USA
Reva Freedman, Northern Illinois University, USA
Ulrich Furbach, Universitat Koblenz-Landau, Germany
Artur Garcez, City University, UK
Bogdan Gabrys, Bournemouth University,UK
John Gallagher, Wright State University, USA
Joao Gama, University of Porto, Portugal
John Garofalakis, University of Patras, Greece
Stratos Georgopoulos, Technological Educational Institute of
Kalamata, Greece
Asuncion Gomez-Perez, Universidad Politecnica de Madrid, Spain
Marco Gori, Universita di Siena, Italy
Guido Governatori, University of Queensland, Australia
Pascal Hitzler, University of Karlsruhe, Karlsruhe, Germany
Praveen Kakumanu, Wright State University, Dayton OH, USA
Dimitris Kalles, Hellenic Open University, Greece
Alexandros Kalousis, University of Geneva, Switzerland
Nikos Karacapilidis, University of Patras, Greece
Vangelis Karkaletsis, N.C.S.R. Demokritos, Greece,
Mehmet Kaya, Firat University, Turkey
Elpida Keravnou-Papaeliou, University of Cyprus, Cyprus
Stefanos Kollias, National Technical University of Athens, Greece
Michail Lagoudakis, Technical University of Crete, Chania, Greece
Edmund Lam, Univ of Hong Kong, Hong Kong
Huey-Ming Lee, Chinese Culture University, Taiwan
Qi Li, Western Kentucky University, USA
Aristeidis Likas, University of Ioannina, Greece
Amy Loutfi, University of Orebro, Sweden
Chang-Tien Lu, Virginia Tech, USA
Ilias Maglogiannis, University of the Aegean, Greece
George Magoulas, University of London, UK
Christos Makris, University of Patras, Greece
Amol Mali, University of Wisconsin-Milwaukee, USA
Bill Manaris, College of Charleston, South Carolina, USA
Zdravko Markov, Central Connecticut State University, USA
Florent Masseglia, INRIA Sophia Antipolis, France
Barry McCollum, Queens University, Northern Ireland
Paul McMullan, Queens University, Northern Ireland
Stefania Montani, Universita' del Piemonte Orientale, Italy
Antonio Moreno, University Rovira i Virgilli, Spain
Malek Mouhoub, University of Regina, Canada
Amedeo Napoli, CNRS-INRIA-University of Nancy, France
Daniel Neagu, University of Bradford, UK
Vassilis Plagianakos, University of Patras, Greece
George Potamias, FORTH, Greece
Jim Prentzas, Technological Educational Institute of Lamia, Greece
Vitorino Ramos, Technical University of Lisbon, Portugal
Mario Refice, Politecnico di Bari, Italy
Han Reichgelt, Georgia Southern Univ, USA
Bob Reynolds, Wayne State University, USA
Michel Rueher, Universite de Nice-Sophia-Antipolis, France
Vasile Rus, The University of Memphis, USA
Ingrid Russell, University of Hartford, USA
Naeem Seliya, University of Michigan, Dearborn, USA
Sabrina Senatore, University of Salerno, Italy
Kyriakos Sgarbas, University of Patras, Greece
Victor R. L. Shen, National Taipei University, Taiwan
Zenon Sosnowski, Bialystok Technical University, Poland
Andreas Stafylopatis, National Technical University of Athens, Greece
Kostas Stergiou, University of the Aegean, Greece
Geoff Sutcliffe, University of Miami, USA
Roberto Tagliaferri, Universita degli Studi di Salerno, Italy
Vincent Tam, University of Hong Kong, Hong Kong
George Vouros, University of the Aegean, Greece
Michael Vrahatis, University of Patras, Greece
Christel Vrain, LIFO - Universite d'Orleans, France
Kewen Wang, Griffith University, Australia
Zhi-Hua Zhou, Nanjing University, China
Xingquan Zhu, Florida Atlantic University, USA
FURTHER INFORMATION
Ioannis Hatzilygeroudis (PC Chair)
Dept of Computer Engineering & Informatics
University of Patras
26500 Patras
HELLAS (GREECE)
Email: ihatz@ceid.upatras.gr
URL: http://mmlab.ceid.upatras.gr/aigroup/ihatz/
web site: click here
Contributed by: Ryan Leduc <leduc at mcmaster dOt ca>
21ST CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING
Niagara Falls, Ontario, Canada
May 4 - 7, 2008
Preliminary Call for Papers and Proposals
The 2008 IEEE Canadian Conference on Electrical and Computer
Engineering (CCECE 2008) will be held in Niagara Falls, Ontario, Canada
from May 4-7. CCECE 2008 provides a forum for the presentation of
electrical and computer engineering research and development
from Canada and around the world. There will be eight mini symposia and
papers are invited, in French or English, including but not limited to
the following topics.
- Biomedical Engineering
Chair: Karthi Umapathy, UHN-Toronto
- Circuits, Devices and Systems
Chair: Stefano Gregori, U. Guelph
- Control and Robotics
Chair:K. Hashtrudi-Zaad, Queens Univ.
- Emerging Areas
Chair:Shahram Shahbazpanahi, UOIT
- Communications and Networking
Chair: Murat Usyal, U. Waterloo
- Computer Systems and Appl's
Chair: Eddie Law, Ryerson Univ.
- Power Electronics and Systems
Chair: Bin Wu, Ryerson Univ.
- Signal and Multimedia Processing
Chair: Vijay Parsa, U.W. O.
Regular Paper Submission:
Please submit full length paper(s) to the Technical Program Committee
using the on-line submission process on our web site at
http://www.ccece08.org before December 7, 2007. Click on - Call For
Papers - and follow the instructions provided.
Tutorial and Workshop Proposals Submission:
Proposals for half-day tutorials and workshops should be submitted
before December 7, 2007 to the Tutorials Chair at "xavier@ieee.org".
Important Dates:
- Full length paper must be received by: Friday, December 7, 2007
- Special Session proposals must be received by: Friday, December 7,
2007
- Notification of acceptance will be sent out by: Friday, January 18,
2008
- Author's Registration ends by: Friday, March 7, 2008
- Advance Registration ends by: Friday, April 4, 2008
web site: click here
Contributed by: Ryan Leduc <leduc at mcmaster dOt ca>
SELECTIONS FROM AUTOMATICA
VOLUME 43, ISSUE 6
JUNE, 2007
1) Complexity reduction in MPC for stochastic max-plus-linear discrete
event systems by variability expansion
T.J.J. van den Boom, B. Heidergott and B. De Schutter
Abstract:
Model predictive control (MPC) is a popular controller design technique
in the process industry. Recently, MPC has been extended to a class of
discrete event systems that can be described by a model that is
"linear" in the max-plus algebra. In this context both the
perturbations-free case and for the case with noise and/or modeling
errors in a bounded or stochastic setting have been considered. In each
of these cases an optimization problem has to be solved on-line at each
event step in order to determine the MPC input. This paper considers a
method to reduce the computational complexity of this optimization
problem, based on variability expansion. In particular, it is shown
that the computational load is reduced if one decreases the level of
"randomness" in the system.
web site: click here
Contributed by: Ryan Leduc <leduc at mcmaster dOt ca>
SELECTIONS FROM IEEE TRANSACTIONS ON AUTOMATIC CONTROL
VOLUME: 52, ISSUE: 4
APRIL, 2007
1) A Negative Bendixson-Like Criterion for a Class of Hybrid Systems
Alexander Pogromsky; Henk Nijmeijer; Jacobus Rooda
Abstract:
A condition which ensures the absence of periodic orbits for nonsmooth
dynamical systems is presented. The condition is a higher dimensional
generalization of Bendixson's criterion applicable to differential
inclusions that are useful in the description of hybrid systems. The
main argument is based on contraction analysis of the d-measured volume
along the system trajectories. A connection to methods for estimating
the Hausdorff dimension is emphasized. For a class of hybrid systems
described by a linear system with relay feedback the conditions are
presented in the form of linear matrix inequalities. A simple but
illustrative example is analyzed.
web site: click here
Contributed by: Ryan Leduc <leduc at mcmaster dOt ca>
DISCRETE EVENT DYNAMIC SYSTEMS
VOLUME 17 NUMBER 2
JUNE, 2007
1) Reachability Problems and Abstract State Spaces for Time Petri Nets
with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux, Francois Vernadat
Abstract Several extensions of Time Petri nets (TPNs) have been
proposed for modeling suspension and resumption of actions in timed
systems. We first introduce a simple class of TPNs extended with
stopwatches (SwTPNs), and present a semi-algorithm for building exact
representations of the behavior of SwTPNs, based on the known state
class method for Time Petri nets. Then, we prove that state
reachability in SwTPNs and all similar models is undecidable, even when
bounded, which solves an open problem. Finally, we discuss
overapproximation methods yielding finite abstractions of their
behavior for a subclass of bounded SwTPNs, and propose a new one based
on a quantization of the polyhedra representing temporal information.
By adjusting a parameter, the exact behavior can be approximated as
closely as desired. The methods have been implemented, experiments are
reported.
2) Just in Time Control of Constrained (max,+)-Linear Systems
Laurent Houssin, Sabastien Lahaye, Jean-Louis Boimond
Abstract:
This paper deals with just in time control of (max,+)-linear systems.
The output tracking problem, considered in previous studies, is
generalized by considering additional constraints in the control
objective. The problem is formulated as an extremal fixed point
computation. This control is applied to timetables computation for
urban bus networks.
3) An Efficient Modular Method for the Control of Concurrent Discrete
Event Systems: A Language-based Approach
Benoit Gaudin, Herve Merchand
Abstract:
In this paper, we are interested in the control of a particular class
of Concurrent Discrete Event Systems defined by a collection of
components that interact with each other. We investigate the
computation of the supremal controllable language contained in the
language of the specification. We do not adopt the decentralized
approach. Instead, we have chosen to use a modular centralized approach
and to perform the control on some approximations of the plant derived
from the behavior of each component. The behavior of these
approximations is restricted so that they respect a new language
property for discrete event systems called partial controllability
condition that depends on the specification. It is shown that, under
some assumptions, the intersection of these "controlled
approximations" corresponds to the supremal controllable language
contained in the specification with respect to the plant. This
computation is performed without having to build the whole plant,
hence avoiding the state space explosion induced by the concurrent
nature of the plant. It is finally shown that the class of
specifications on which our method can be applied strictly subsumes
the class of separable specifications.
4) Modal Specifications for the Control Theory of Discrete Event
Systems
Guillaume Feuillade, Sophie Pinchinat
Abstract:
We propose a logical framework for the control theory of reactive
systems modeled by discrete event systems. The logic is the conjunctive
nu-calculus, an expressive fragment of the powerful mu-calculus.
Conjunctive nu-calculus possesses an alternative presentation based on
modal specifications, with simple graphical representations. We exploit
modal specification to specify and to solve the basic centralized
control problem: our class of control objectives strictly subsumes the
class of regular languages, normally used in the classic control theory
of discrete-event systems, but the existence of maximally permissive
solutions is however preserved.
5) Diagnosis of Discrete Event Systems Using Decentralized
Architectures
Yin Wang, Tae-Sic Yoo, Stephane Lafortune
Abstract:
Decentralized diagnosis of discrete event systems has received a lot
of attention to deal with distributed systems or with systems that may
be too large to be diagnosed by one centralized site. This paper casts
the problem of decentralized diagnosis in a new hierarchical framework.
A key feature is the exploitation of different local decisions together
with appropriate rules for their fusion. This includes local diagnosis
decisions that can be interpreted as "conditional decisions." Under
this new framework, a series of new decentralized architectures are
defined and studied. The properties of their corresponding notions of
decentralized diagnosability are characterized and their relationship
with existing work described. Corresponding verification algorithms are
also presented and on-line diagnosis strategies discussed.
web site: click here
The End
|
[Home]
[Members]
[Newsletters]
[Conferences]
[DES Researchers]
[Links]
Please send suggestions to:
Ryan Leduc,
destc@cas.mcmaster.ca
|
