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

引用数: 104 • 2010

A hardware retargetable distributed layered architecture for mobile robot control

Rodney A. Brooks

引用数: 92 • 2005

Models for simulation and discrete control of manufacturing systems

Carolyn L. Beck, Bruce H. Krogh

引用数: 62 • 1986

Prescribed performance control for signal temporal logic specifications

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

引用数: 51 • 2017

Formal verification of Intelligent Mechatronic Systems with decentralized control logic

Sandeep Patil, Valeriy Vyatkin, Majid Sorouri

引用数: 39 • 2012

Receding horizon surveillance with temporal logic specifications

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

引用数: 30 • 2010

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

Damber Thapa, Suraj Dangol, Gi-Nam Wang

引用数: 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

引用数: 27 • 2011

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

Kazumi Nakamatsu, Yoshio Mita, Tadashi Shibata

引用数: 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

引用数: 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

引用数: 21 • 2019

Robust Temporal Logic Motion Control via Disturbance Observers

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

引用数: 18 • 2022

SWARMORPH: Morphogenesis with Self-Assembling Robots

Rehan O’Grady, Anders Lyhne Christensen, Marco Dorigo

引用数: 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

引用数: 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

引用数: 14 • 2012

Field programmable gate array technology for robotics applications

Philip H. W. Leong, Kuen Hung Tsoi

引用数: 13 • 2005

Cooperative Object Manipulation Under Signal Temporal Logic Tasks and Uncertain Dynamics

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

引用数: 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

引用数: 11 • 1990

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

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

引用数: 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

引用数: 7 • 2006