posted by user: mpstew || 4058 views || tracked by 13 users: [display]

ADHS 2009 : 3rd IFAC Conference on Analysis and Design of Hybrid Systems

FacebookTwitterLinkedInGoogle

Link: http://diisconf.cps.unizar.es/adhs09/web/
 
When Sep 16, 2009 - Sep 17, 2009
Where Zaragoza, Spain
Submission Deadline Mar 26, 2009
Notification Due May 25, 2009
Final Version Due Jun 25, 2009
Categories    modelling   systems   simulation   verification
 

Call For Papers

SCOPE AND TOPICS
The IFAC conference series on Analysis and Design of Hybrid Systems
(ADHS) is focused on the Automation of Dynamical Systems. ADHS'09 is the
third conference of this series, after ADHS'03 in Saint Malo (France)
and ADHS?06 in Alghero (Italy). The ADHS series follows the successful
conference series on the Automatisation des Processus Mixtes /
Automation of Mixed Processes: ADPM'92 in Paris (France), ADPM'94 in
Brussels (Belgium), ADPM'98 in Reims (France), ADPM?00 in Dortmund
(Germany).

Contributions are invited in all areas pertaining to the engineering of
hybrid dynamic systems including: modelling, specification, analysis,
verification, control synthesis, simulation, and implementation.
Contributions on applications of hybrid methods in various fields, such
as process industry, transportation systems, communication networks,
safety systems, etc., are particularly encouraged. Synthetic
presentations of hybrid-system problems in these fields are also
encouraged.

Related Resources

CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
VALID 2021   The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
Elec-SI-IIDS 2021   Special Issue on Design of Intelligent Intrusion Detection Systems
CAV 2021   33rd International Conference on Computer-Aided Verification
Scopus-WAT 2021   The 3rd International Workshop on Automation Technologies (WAT 2021)
MMSys 2021   ACM Multimedia Systems Conference
SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
CTCM 2021   7th International Conference of Control Theory and Computer Modelling