Control logic

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees

Morteza Lahijanian, Jerzy Waśniewski, Sean B. Andersson, Călin Belta

Citations: 104 • 2010

A hardware retargetable distributed layered architecture for mobile robot control

Rodney A. Brooks

Citations: 92 • 2005

Models for simulation and discrete control of manufacturing systems

Carolyn L. Beck, Bruce H. Krogh

Citations: 62 • 1986

Prescribed performance control for signal temporal logic specifications

Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas

Citations: 51 • 2017

Formal verification of Intelligent Mechatronic Systems with decentralized control logic

Sandeep Patil, Valeriy Vyatkin, Majid Sorouri

Citations: 39 • 2012

Receding horizon surveillance with temporal logic specifications

Xu Chu Ding, Călin Belta, Christos G. Cassandras

Citations: 30 • 2010

Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique

Damber Thapa, Suraj Dangol, Gi-Nam Wang

Citations: 29 • 2006

Target tracking of autonomous robotic vehicles using range‐only measurements: a switched logic‐based control strategy

O. Namaki-Shoushtari, A. Pedro Aguiar, Ali Khaki Sedigh

Citations: 27 • 2011

An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation

Kazumi Nakamatsu, Yoshio Mita, Tadashi Shibata

Citations: 26 • 2007

Tube-Balloon Logic for the Exploration of Fluidic Control Elements

Jovanna A. Tracz, Dylan Pathiraja, Savita V. Kendre, Ron Pfisterer, Ethan Turett, Christoffer Abrahamsson, Samuel E. Root, Won‐Kyu Lee, Daniel J. Preston, Haihui Joy Jiang, George M. Whitesides, Markus P. Nemitz

Citations: 22 • 2022

PAtt: Physics-based Attestation of Control Systems

Hamid Reza Ghaeini, Matthew Chan, Raad Bahmani, Ferdinand Brasser, Luis Antonio Ribot García, Jianying Zhou, Ahmad‐Reza Sadeghi, Nils Ole Tippenhauer, Saman Zonouz

Citations: 21 • 2019

Robust Temporal Logic Motion Control via Disturbance Observers

Chengqian Zhou, Jun Yang, Shihua Li, Wen‐Hua Chen

Citations: 18 • 2022

SWARMORPH: Morphogenesis with Self-Assembling Robots

Rehan O’Grady, Anders Lyhne Christensen, Marco Dorigo

Citations: 18 • 2012

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

Alejandro Ramirez‐Serrano, Songwei Zhu, Simon Chan, S. S. W. Chan, Maurizio Ficocelli, B. Benhabib

Citations: 15 • 2002

FPGA-based autonomous parking of a car-like robot using Fuzzy Logic Control

Nicolanne Scicluna, Edward Gatt, Owen Casha, Ivan Grech, Joseph Micallef

Citations: 14 • 2012

Field programmable gate array technology for robotics applications

Philip H. W. Leong, Kuen Hung Tsoi

Citations: 13 • 2005

Cooperative Object Manipulation Under Signal Temporal Logic Tasks and Uncertain Dynamics

Mayank Sewlia, Christos K. Verginis, Dimos V. Dimarogonas

Citations: 11 • 2022

Design and Implementation of a High Speed CMAC Neural Network Using Programmable CMOS Logic Cell Arrays

Wallace T. Miller, Brian Box, Erich C. Whitney, James M. Glynn

Citations: 11 • 1990

Design and Implementation of a Logic Controller using Petri Nets and Ladder Logic Diagrams

Spyros G. Tzafestaş, Michail Pantelelis, D. L. Kostis

Citations: 8 • 2002

A Proposal for a Hybrid Opened Architecture with Hardware Reconfigurable Control Applied in Mobile Robots

Leonimer Flávio de Melo, João Maurício Rosário

Citations: 7 • 2006