Fast and Robust Modelling Using a Direct Translation from a Robotic Application to Its Abstracted Behaviour
Rapid System Prototyping (RSP)(2019)
Abstract
In traditional model-based engineering (MBE), explicit behavioural models are defined with modelling or domain-specific languages like UML or AADL. These models then refer to corresponding parts of the source code. We propose an alternative scheme, where the application's abstracting code is both the behavioural model and an integral part of the implementation. Together with a special library of explicit objects, like a periodic thread, a running application is able to export its abstracted model. That model can then be refined with our translator from application sources to state machines. As we model cyberphysical systems, the models in question can be probabilistic, non-deterministic and temporal. In order to verify our approach in practice, we have implemented the said library and adapted the translator in question. To demonstrate the potential usage, we refine a model of an application of a robot performing SLAM.
MoreTranslated text
Key words
model checking,model-based engineering,real-time
PDF
View via Publisher
AI Read Science
AI Summary
AI Summary is the key point extracted automatically understanding the full text of the paper, including the background, methods, results, conclusions, icons and other key content, so that you can get the outline of the paper at a glance.
Example
Background
Key content
Introduction
Methods
Results
Related work
Fund
Key content
- Pretraining has recently greatly promoted the development of natural language processing (NLP)
- We show that M6 outperforms the baselines in multimodal downstream tasks, and the large M6 with 10 parameters can reach a better performance
- We propose a method called M6 that is able to process information of multiple modalities and perform both single-modal and cross-modal understanding and generation
- The model is scaled to large model with 10 billion parameters with sophisticated deployment, and the 10 -parameter M6-large is the largest pretrained model in Chinese
- Experimental results show that our proposed M6 outperforms the baseline in a number of downstream tasks concerning both single modality and multiple modalities We will continue the pretraining of extremely large models by increasing data to explore the limit of its performance
Try using models to generate summary,it takes about 60s
Must-Reading Tree
Example

Generate MRT to find the research sequence of this paper
Related Papers
2009
被引用25 | 浏览
2015
被引用7 | 浏览
2017
被引用10 | 浏览
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn
Chat Paper
去 AI 文献库 对话