Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Introduction to Physical Modeling with Modelica
Introduction to Physical Modeling with Modelica
ACM Transactions on Computational Logic (TOCL)
Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
PLC-Automata: A New Class of Implementable Real-Time Automata
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Rapid prototyping of real-time control laws for complex mechatronic systems: a case study
Journal of Systems and Software - Special issue: Rapid system prototyping
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
Mechatronic Systems: Fundamentals
Mechatronic Systems: Fundamentals
Towards an integrated system model for testing and verification of automation machines
Proceedings of the 2008 international workshop on Models in software engineering
A Semantic Model for Computer-Based Spatio-temporal Systems
ECBS '09 Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Material flow abstraction of manufacturing systems
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
| Hi-index | 0.00 |
Despite the large amount of models for different aspects of factory automation systems, many of these models target at individual and in most cases static aspects of the system, such as the geometry or its electric parts. There is a lack of suitable description methods, which integrate these individual models to a behavior model including spatial aspects and the handling of material. Furthermore, it is important that this model keeps the link to the more detailed individual models and is sufficiently formal in order to allow an automated analysis. This paper provides a solution to this problem by introducing a model which addresses both spatial structure and behavior and is based on a thorough mathematical theory. Complementary, we report on a tool realization of the modelling theory and explain how the model supports the development of mechatronic systems.