U. Trieste and ISP are organizing a workshop on spatio-temporal reasoning for CPS co-located with CDC'19
University of Trieste and ISP are organizing a workshop on spatio-temporal reasoning for CPS co-located with CDC'19 (see strcc.isp.uni-luebeck.de). This workshop aims to present the most recent advances in the development of logic-based procedures for the analysis and control of spatially distributed Cyber Physical Systems (CPS), with particular emphasis on the combination of temporal and spatial behaviors. The workshop will include a diversity of renown speakers with expertise on areas such as: control theory and formal methods with application in robotics and systems biology; formal methods applied in robot motion planning, control and analysis of dynamical and hybrid systems and multi-agent control; software engineering and programming languages, methods and tools to improve dependability of adaptable distributed applications; quantitative modelling and analysis of complex systems; and finally knowledge representation and reasoning with particular emphasis on spatial and temporal reasoning.
Overview
Director
Prof. Dr. Martin Leucker
Address
Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Contact
E-Mail: office [at] isp.uni-luebeck.de
Phone: +49 451 3101-6501