Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"Stateflow"”.
-
Clone Detection In Matlab Stateflow Models
… industry. One extension to Simulink is Stateflow, which allows the user to embed Statecharts as components in a Simulink Model. These state machines contain nested states, an action language that describes events, guards, conditions and actions and complex transitions. As Stateflow has …
-
Translation of Simulink-Stateflow models to hybrid automata
Formal analysis of Simulink/Stateflow (SLSF) diagrams requires association of semantics to these diagrams. In this thesis, we present a technique and the related tool called HyLink for translating a useful subclass of SLSF diagrams to hybrid automata. In the absence of official semantics, there are …
-
A model-based approach to automated test generation and error localization for Simulink/Stateflow
<p>Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code. We present an automatic test generation approach for …
-
Hybrid control architecture for navigation of autonomous mobile robots
… and hybrid behavioural encoding incorporating stateflow-fuzzy logic and stateflow-neural networks. The deliberative system is comprised of finite state machines. The processing is achieved in a centralised and/or decentralised manner using the proposed controller-agent concept from the field of …
-
Modular engineering of neuromuscular gait simulators
… model components, such as ground contact model, Stateflow control, heuristic computation, and body segments.
-
Modeling and Control of a Vertical Hopping Robot
… approach for holonomic systems. A Simulink/Stateflow model is developed to numerically simulate the robot’s locomotion. The model is then validated with the simulation data from Simscape Multibody, which allows for accurate modeling of the environment and inertial properties for complex …
-
Adaptive Brake By Wire: From Human Factors to Adaptive Implementation
… on the implementation of a Matlab/Simulink/Stateflow model for the use case recognition. Basing on the vehicle data, the model is able to find out in which use case the vehicle is (parking, low speed maneuvers, emergency, downhill, and so on). Once it finds out the scenario, the model …
-
Improved System Models for Building-Integrated Hybrid Renewable Energy Systems with Advanced Storage: A Combined Experimental and Simulation Approach
… discrete operational aspects were modelled using Stateflow®, a graphical tool to formulate statechart diagrams. All system models were validated using measured data from the experimental analysis. The results show a low mean-absolute-percentage-error (<3%). Furthermore, an advanced energy …