Hybrid automaton
相关论文数: 20
顶级研究者
最高引用论文
HyTech: A model checker for hybrid systems
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
引用数: 421 • 1997
Hybrid Controllers for Path Planning: A Temporal Logic Approach
Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas
引用数: 172 • 2006
Dynamic role assignment for cooperative robots
Luiz Chaimowicz, Mário F. M. Campos, Vijay Kumar
引用数: 166 • 2003
STyLuS <sup>*</sup> : A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
Yiannis Kantaros, Michael M. Zavlanos
引用数: 115 • 2020
Modelling and control of a flying robot interacting with the environment
Lorenzo Marconi, Roberto Naldi, Luca Gentili
引用数: 104 • 2011
Behavior Based Robotics Using Hybrid Automata
Magnus Egerstedt
引用数: 104 • 2000
Verification of Hybrid Systems
Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer
引用数: 62 • 2018
Path planning for robotic teams based on LTL specifications and Petri net models
Marius Kloetzer, Cristian Mahulea
引用数: 45 • 2019
The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata
Akash Deshpande, Aleks Göllü, Luigi Semenzato
引用数: 43 • 2000
Stochastic Reachability Analysis of Hybrid Systems
Luminita Manuela Bujorianu
引用数: 33 • 2012
Optimal multi-robot path planning with temporal logic constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Călin Belta, Daniela Rus
引用数: 33 • 2011
Discrete-time hybrid modeling and verification
Fabio Danilo Torrisi, Alberto Bemporad
引用数: 32 • 2003
Behavior based robotics using regularized hybrid automata
Magnus Egerstedt, Karl Henrik Johansson, John Lygeros, Shankar Sastry
引用数: 31 • 2003
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Adina Aniculăesei, Daniel Arnsberger, Falk Howar, Andreas Rausch
引用数: 28 • 2016
Hybrid system behavior specification for multiple robotic mechanisms
Martin Buss, G. Schmidt
引用数: 21 • 2002
Testing and Monitoring Model-based Generated Program
Li Tan, Jesung Kim, Insup Lee
引用数: 19 • 2003
MT*: Multi-Robot Path Planning for Temporal Logic Specifications
Dhaval Gujarathi, Indranil Saha
引用数: 19 • 2022
Optimal, Efficient Sequential Control of a Soft-Bodied, Peristaltic Sorting Table
Martin Stommel, Wei Xu
引用数: 17 • 2015
Robust takeoff and landing for a class of aerial robots
Roberto Naldi, Lorenzo Marconi, Luca Gentili
引用数: 17 • 2009
Collaborative Verification-Driven Engineering of Hybrid Systems
引用数: 15 • 2014