Timed automaton

Timed automata approach for motion planning using metric interval temporal logic

Yuchen Zhou, Dipankar Maity, John S. Baras

Citations: 37 • 2016

Optimal multi-robot path planning with temporal logic constraints

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Călin Belta, Daniela Rus

Citations: 33 • 2011

Behavior based robotics using regularized hybrid automata

Magnus Egerstedt, Karl Henrik Johansson, John Lygeros, Shankar Sastry

Citations: 31 • 2003

Testing and Monitoring Model-based Generated Program

Li Tan, Jesung Kim, Insup Lee

Citations: 19 • 2003

Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg

Citations: 17 • 2008

Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata

Uraz Cengiz Türker, Hüsnü Yenigün

Citations: 15 • 2015

Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study

Yang Zhang, Alan K. Mackworth

Citations: 11 • 1993

Generation of behavior automaton on neural network

Tetsuya Ogata, Kotaro Hayashi, Ikuo Kitagishi, Shigeki Sugano

Citations: 8 • 2002

A cooperative path-planning for multiple automata by dynamic/static conversion

H. Noborio, M. Edashige

Citations: 7 • 2002

A timed automaton model for ET-LOTOS verification

Christian Hernalsteen

Citations: 6 • 1997

Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

Yuchen Zhou, Dipankar Maity, John S. Baras

Citations: 6 • 2016

Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications

Huanfei Zheng, Yue Wang

Citations: 4 • 2021

A general approach to solving problems on graphs by collective automata

Igor Burdonov, A. S. Kossatchev

Citations: 4 • 2017

A Distributed Framework for Dynamic Task Allocation of Multi-Robot Symbolic Motion Planning

Huanfei Zheng, Yue Wang

Citations: 4 • 2019

Integrating timed condition/event systems and timed automata for the verification of hybrid systems

Ralf Huuck, Yassine Lakhnech, Ben Lukoschus, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Citations: 4 • 2001

Hierarchies based on the number of cooperating systems of three-dimensional finite automata

Yasuo Uchida, Makoto Sakamoto, Satoshi Okatani, Kaoru Kajisa, Masatsugu Fukuda, Tomoya Matsukawa, Ayumi Taniue, Takao Ito, Hiroshi Furutani, Michio Kono

Citations: 3 • 2009

Fault measure of discrete event systems using probabilistic timed automata

Yi‐Sheng Huang, Ho-Shan Chiang, MuDer Jeng

Citations: 3 • 2011

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions

Lening Li, Jie Fu

Citations: 3 • 2021

Derivation of Contactable Ranges for Decentralized-controlled Hexapod Robot Based on Model Checking with Timed Automaton

Yuki Murata, Shinkichi Inagaki, Tatsuya Suzuki

Citations: 2 • 2017

Collectives of automata on infinite grid graph with deterministic vertex labeling

Seregy Sapunov

Citations: 2 • 2019