Control Logic Generation

Control Logic Generation is a methodological construct in computer science that systematically produces executable decision-making rules and state transitions governing the behavior of digital systems, distinguished from related synthesis techniques by its focus on deriving hierarchical, condition-driven control architectures from algorithmic or behavioral specifications.

Publications

1.8K

Citations

195

Authors

Institutions

Publications per year

2017–2026

Parents

Generate Constructs

Publications

Correct, Reactive, High-Level Robot Control

Hadas Kress‐Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu · IEEE Robotics & Automation Magazine · 2011 · 122 citations

Engineering, Computer Science, Robotics Engineering +15

PEAS-III: an ASIP design environment

Makiko Itoh, S. Higaki, Jun Sato et al. · 2002 · 106 citations

Engineering, Computer Engineering, Computer Science +16

Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits

David C. Ku, G. De Mitcheli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 91 citations

Engineering, Computer Engineering, Computer Science +17

A Design Approach for Fine-grained Run-Time Power Gating using Locally Extracted Sleep Signals

Kimiyoshi Usami, Naoaki Ohkubo · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 86 citations

Engineering, Computer Engineering, Electrical Engineering +17

Logic-based robot control in highly dynamic domains

Alexander Ferrein, Gerhard Lakemeyer · Robotics and Autonomous Systems · 2008 · 71 citations

Engineering, Computer Science, Robotics Engineering +14

1–5 of 61

Authors

195

MF
Martin Fabian
Chalmers University of Technology, Sweden
3 publications · 57 citations
3
h-index
JC
Josep Carmona
Universitat Politècnica de Catalunya, Spain
2 publications · 37 citations
2
h-index
HK
Hadas Kress‐Gazit
Cornell University, United States
2 publications · 134 citations
2
h-index
NI
Nemanja Isailovic
University of California, Berkeley, United States
2 publications · 74 citations
2
h-index
JR
Johan Richardsson
Volvo Cars (Sweden)
2 publications · 41 citations
2
h-index

1–5 of 195

Institutions

1–8 of 82

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
3 publications · 164 citations
3
h-index
IEEE Transactions on Control Systems Technology
2 publications · 35 citations
2
h-index
Journal of Intelligent Manufacturing
2 publications · 72 citations
2
h-index
ArXiv.org
Repository · 1 publications · 14 citations
1
h-index
IEEE Transactions on Intelligent Vehicles
ITIVBL · 1 publications · 13 citations
1
h-index

1–5