Liveness

Containment Control in Mobile Networks

M. Ji, Giancarlo Ferrari‐Trecate, Magnus Egerstedt, Annalisa Buffa

Citations: 801 • 2008

A hybrid methodology for synthesis of Petri net models for manufacturing systems

MengChu Zhou, F. DiCesare, A.A. Desrochers

Citations: 411 • 1992

Adaptive design of Petri net controllers for error recovery in automated manufacturing systems

MengChu Zhou, F. DiCesare

Citations: 167 • 1989

Design and implementation of a petri net based supervisor for a flexible manufacturing system

Meng Zhou, F. DiCesare, D. Rudolph

Citations: 156 • 1992

The ORCCAD Architecture

Jean-Jacques Borrelly, Ève Coste-Manière, Bernard Espiau, Konstantinos Kapellos, Roger Pissard-Gibollet, Daniel Simon, Nicolas Turro

Citations: 104 • 1998

Formal verification of obstacle avoidance and navigation of ground robots

Citations: 70 • 2017

Resilient distributed secure consensus control for uncertain networked agent systems under hybrid DoS attacks

Fabin Cheng, Ben Niu, Ning Xu, Xudong Zhao

Citations: 55 • 2023

A corroborative approach to verification and validation of human–robot teams

Citations: 52 • 2019

Variable reasoning and analysis about uncertainty with fuzzy Petri nets

Arthur C. Sanderson

Citations: 48 • 1993

Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems

I. Koh, F. DiCesare

Citations: 47 • 2002

Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates

Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan

Citations: 44 • 2022

A fuzzy Petri net approach to reasoning about uncertainty in robotic systems

Tiehua Cao, Arthur C. Sanderson

Citations: 35 • 2002

Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning

Kai–Chieh Hsu, Vicenç Rubies-Royo, Claire J. Tomlin, Jaime F. Fisac

Citations: 35 • 2021

Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems

Daniel Yuh Chao

Citations: 35 • 1994

Essentially decision free Petri nets for real-time resource allocation

Bruce H. Krogh, R.S. Sreenivas

Citations: 34 • 2005

Liveness Anxiety: Karaoke and the Performance of Class

Kevin Brown

Citations: 31 • 2010

Task sequence planning in a robot workcell using AND/OR nets

Tiehua Cao, Arthur C. Sanderson

Citations: 29 • 2002

A Formal Safety Net for Waypoint-Following in Ground Robots

Citations: 27 • 2019

A New Conflict Resolution Method for Multiple Mobile Robots in Cluttered Environments With Motion-Liveness

Mohammadali Shahriari, Mohammad Biglarbegian

Citations: 27 • 2016

Automated Planning of Motion Tasks for Multi-Robot Systems

Savvas G. Loizou, Kostas J. Kyriakopoulos

Citations: 27 • 2006