Formal Modeling and Analysis of Radio Block Center Handover

2014 ◽  
pp. 313-320 ◽  
Author(s):  
Xiaohui Hu ◽  
Jun Ma ◽  
Yong Chen ◽  
Xin Li
Keyword(s):  
Formal Modeling ◽  
Modeling And Analysis ◽  
Block Center

scholarly journals Formal modeling and analysis of RAMP transaction systems

2016 ◽  
Author(s):  
Si Liu ◽  
Peter Csaba Ölveczky ◽  
Muntasir Raihan Rahman ◽  
Jatin Ganhotra ◽  
Indranil Gupta ◽  
...  
Keyword(s):  
Formal Modeling ◽  
Modeling And Analysis

scholarly journals Compositional Verification using Model Checking and Theorem Proving

2020 ◽  
pp. 305-314
Author(s):  
Diego Marmsoler
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Embedded Systems ◽  
Theorem Proving ◽  
Formal Modeling ◽  
Compositional Verification ◽  
Modeling And Analysis ◽  
Simple Version ◽  
Evolving Systems ◽  
Alternative Approach

AbstractCollaborative embedded systems form groups in which individual systems collaborate to achieve an overall goal. To this end, new systems may join a group and participating systems can leave the group. Classical techniques for the formal modeling and analysis of distributed systems, however, are mainly based on a static notion of systems and thus are often not well suited for the modeling and analysis of collaborative embedded systems. In this chapter, we propose an alternative approach that allows for the verification of dynamically evolving systems and we demonstrate it in terms of a running example: a simple version of an adaptable and flexible factory.

Formal Modeling and Analysis of Collaborative Humanoid Robotics

2019 ◽  
pp. 1086-1108
Author(s):  
Yujian Fu ◽  
Zhijiang Dong ◽  
Xudong He
Keyword(s):  
Petri Net ◽  
Control Strategies ◽  
Formal Modeling ◽  
Humanoid Robotics ◽  
Modeling And Analysis ◽  
Agent Based ◽  
Design And Implementation ◽  
Simulation Results ◽  
And Control ◽  
Successful Collaboration

A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a very challenging issue. It is known that formal methods provide a rigorous analysis of the complexity in both design of control and implementation of systems. This article presents an agent-based framework of formal modeling on the design of communication and control strategies of a team of autonomous robotics, to attain the specified tasks in a coordinated manner. To ensure a successful collaboration of multiple robotics, this formal agent-based framework captures behaviors in Petri Net models and specifies collaboration operations in four defined operations. To validate the framework, a non-trivial soccer bot set was implemented and simulation results were discussed.

VHDL Formal Modeling and Analysis

1997 ◽  
pp. 217-228
Author(s):  
Luis Entrena ◽  
Serafín Olcoz ◽  
Juan Goicolea
Keyword(s):  
Formal Modeling ◽  
Modeling And Analysis
Sign in / Sign up

Export Citation Format

Share Document