Hybrid automaton

HyTech: A model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi

Citations: 421 • 1997

Hybrid Controllers for Path Planning: A Temporal Logic Approach

Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas

Citations: 172 • 2006

Dynamic role assignment for cooperative robots

Luiz Chaimowicz, Mário F. M. Campos, Vijay Kumar

Citations: 166 • 2003

STyLuS ^* : A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems

Yiannis Kantaros, Michael M. Zavlanos

Citations: 115 • 2020

Modelling and control of a flying robot interacting with the environment

Lorenzo Marconi, Roberto Naldi, Luca Gentili

Citations: 104 • 2011

Behavior Based Robotics Using Hybrid Automata

Magnus Egerstedt

Citations: 104 • 2000

Verification of Hybrid Systems

Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer

Citations: 62 • 2018

Path planning for robotic teams based on LTL specifications and Petri net models

Marius Kloetzer, Cristian Mahulea

Citations: 45 • 2019

The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata

Akash Deshpande, Aleks Göllü, Luigi Semenzato

Citations: 43 • 2000

Stochastic Reachability Analysis of Hybrid Systems

Luminita Manuela Bujorianu

Citations: 33 • 2012

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

Discrete-time hybrid modeling and verification

Fabio Danilo Torrisi, Alberto Bemporad

Citations: 32 • 2003

Behavior based robotics using regularized hybrid automata

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

Citations: 31 • 2003

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

Adina Aniculăesei, Daniel Arnsberger, Falk Howar, Andreas Rausch

Citations: 28 • 2016

Hybrid system behavior specification for multiple robotic mechanisms

Martin Buss, G. Schmidt

Citations: 21 • 2002

Testing and Monitoring Model-based Generated Program

Li Tan, Jesung Kim, Insup Lee

Citations: 19 • 2003

MT*: Multi-Robot Path Planning for Temporal Logic Specifications

Dhaval Gujarathi, Indranil Saha

Citations: 19 • 2022

Optimal, Efficient Sequential Control of a Soft-Bodied, Peristaltic Sorting Table

Martin Stommel, Wei Xu

Citations: 17 • 2015

Robust takeoff and landing for a class of aerial robots

Roberto Naldi, Lorenzo Marconi, Luca Gentili

Citations: 17 • 2009

Collaborative Verification-Driven Engineering of Hybrid Systems

Citations: 15 • 2014