Abstract state machines

RTC: Language support for real-time concurrency

Victor Fay Wolfe, Susan B. Davidson, Insup Lee

引用数: 42 • 1993

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa

引用数: 27 • 2018

Combining Finite State Machine and Decision-Making Tools for Adaptable Robot Behavior

Michalis Foukarakis, Asterios Leonidis, Margherita Antona, Constantine Stephanidis

引用数: 23 • 2014

From Formalised State Machines to Implementations of Robotic Controllers

Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis

引用数: 14 • 2018

Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines

Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra

引用数: 9 • 2012

StateML + : From Graphical State Machine Models to Thread-Safe Ada Code

Diego Alonso, Cristina Vicente-Chicote, Juan Ángel Pastor Franco, Bárbara Álvarez

引用数: 8 • 2008

Synthesis of control units for mobile robots

Samary Baranov

引用数: 6 • 2002

Knowledge-driven finite-state machines. Study case in monitoring industrial equipment

Luis E. Gonzalez Moctezuma, Borja Ramis Ferrer, Xu Xiangbin, Andrei Lobov, José L. Martínez Lastra

引用数: 5 • 2015

Module Interactions for Model-Driven Engineering of Complex Behaviour of Autonomous Robots

Vladimir Estivill‐Castro, René Hexel

引用数: 5 • 2011

Generating Behaviour Networks from Finite-State Machines

Christopher Armbrust, Daniel Schmidt, Karsten Berns

引用数: 5 • 2012

Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs

Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra

引用数: 4 • 2012

Flexible Manipulation: Finite State Machine-based Collaborative Manipulation

David C. Conner, Davis S. Catherman, Shannon Enders, Julie Gates, Jenny Gu

引用数: 3 • 2018

A formal framework for coordinated simulation of heterogeneous service-oriented applications ?

Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra

引用数: 3 • 2011

On Model Checking of a Robotic Mechanism

Turcanu Adrian, Shaikh Talal, Mazilu Cristina Nicoleta

引用数: 3 • 2020

Bringing RoboStar and RT-Tester Together

Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis

引用数: 2 • 2023

Reusable Specification of State Machines for Rapid Robot Functionality Prototyping

Alex Mitrevski, Paul G. Plöger

引用数: 2 • 2019

Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots

Yoshinao Isobe, Nobuhiko MIYAMOTO, Noriaki Ando, Yutaka Oiwa

引用数: 2 • 2021

Model-Based Engineering for Robotics with RoboChart and RoboTool

Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro

引用数: 2 • 2023

Towards Safety Assessment of Robot Behaviors in SMACH

Eun-Young Kang, Miguel Campusano

引用数: 2 • 2023