Behavior trees and state machines in robotics applications
Autonomous robots combine skills to form increasingly complex behaviors, called missions.
While skills are often programmed at a relatively low abstraction level, their coordination is …
While skills are often programmed at a relatively low abstraction level, their coordination is …
Towards the compositional verification of real-time uml designs
Current techniques for the verification of software as eg model checking are limited when it
comes to the verification of complex distributed embedded real-time systems. Our approach …
comes to the verification of complex distributed embedded real-time systems. Our approach …
Defining and translating a" safe" subset of Simulink/Stateflow into Lustre
N Scaife, C Sofronis, P Caspi, S Tripakis… - Proceedings of the 4th …, 2004 - dl.acm.org
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has
become popular in the automotive and aeronautics industries. We have previously …
become popular in the automotive and aeronautics industries. We have previously …
An operational semantics for Stateflow
G Hamon, J Rushby - International Conference on Fundamental …, 2004 - Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like
language of the Matlab/Simulink tool suite that is widely used in model-based development …
language of the Matlab/Simulink tool suite that is widely used in model-based development …
A structured operational semantics for UML-statecharts
M von der Beeck - Software and Systems Modeling, 2002 - Springer
The Unified Modeling Language (UML) has gained wide acceptance in very short time
because of its variety of well-known and intuitive graphical notations. However, this comes at …
because of its variety of well-known and intuitive graphical notations. However, this comes at …
An operational semantics for Stateflow
G Hamon, J Rushby - International Journal on Software Tools for …, 2007 - Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like
language of the Matlab/Simulink tool suite that is widely used in model-based development …
language of the Matlab/Simulink tool suite that is widely used in model-based development …
Modular design and verification of component-based mechatronic systems with online-reconfiguration
The development of complex mechatronic systems requires a careful and ideally verifiable
design. In addition, engineers from different disciplines, namely mechanical, electrical and …
design. In addition, engineers from different disciplines, namely mechanical, electrical and …
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
ML Crane, J Dingel - … on Model Driven Engineering Languages and …, 2005 - Springer
Abstract State machines, represented by statecharts or statechart diagrams, are an important
formalism for behavioural modelling. According to the research literature, the most popular …
formalism for behavioural modelling. According to the research literature, the most popular …
UML vs. classical vs. rhapsody statecharts: not all models are created equal
ML Crane, J Dingel - Software & Systems Modeling, 2007 - Springer
Abstract State machines, represented by statecharts or state machine diagrams, are an
important formalism for behavioural modelling. According to the research literature, the most …
important formalism for behavioural modelling. According to the research literature, the most …
Integrating safety analysis with functional modeling
Functional modeling and safety analysis are two important aspects of safety-critical
embedded systems. However, they are often conducted separately. In this paper, we present …
embedded systems. However, they are often conducted separately. In this paper, we present …