FPGA-based amoeba-inspired SAT solver for cyber-physical systems

Anh Hoang Ngoc Nguyen, Masashi Aono, Yuko Hara-Azumi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This study presents a hardware architecture design to solve the Satisfiability (SAT) problem which can represent various types of control applications in Cyber-Physical Systems (CPS). The proposed architecture adapts an emerging bio-inspired SAT solver, “AmoebaSAT” which possesses the high potentials of parallel computing and is thus suitable for hardware implementation. By exploring several hardware optimization techniques through an advanced high-level design technology (i.e., high-level synthesis), we realized an FPGA-based AmoebaSAT solver applicable to any CPS application whose control rules can be expressed as a SAT instance.

Original languageEnglish
Title of host publicationICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems
EditorsGowri Sankar Ramachandran, Jorge Ortiz
PublisherAssociation for Computing Machinery, Inc
Pages316-317
Number of pages2
ISBN (Electronic)9781450362856
DOIs
Publication statusPublished - 2019 Apr 16
Event10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week - Montreal, Canada
Duration: 2019 Apr 162019 Apr 18

Publication series

NameICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems

Conference

Conference10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week
CountryCanada
CityMontreal
Period19/4/1619/4/18

Fingerprint

Field programmable gate arrays (FPGA)
Hardware
Parallel processing systems
Computer hardware
Cyber Physical System
High level synthesis

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

Cite this

Nguyen, A. H. N., Aono, M., & Hara-Azumi, Y. (2019). FPGA-based amoeba-inspired SAT solver for cyber-physical systems. In G. S. Ramachandran, & J. Ortiz (Eds.), ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems (pp. 316-317). (ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems). Association for Computing Machinery, Inc. https://doi.org/10.1145/3302509.3313319

FPGA-based amoeba-inspired SAT solver for cyber-physical systems. / Nguyen, Anh Hoang Ngoc; Aono, Masashi; Hara-Azumi, Yuko.

ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems. ed. / Gowri Sankar Ramachandran; Jorge Ortiz. Association for Computing Machinery, Inc, 2019. p. 316-317 (ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Nguyen, AHN, Aono, M & Hara-Azumi, Y 2019, FPGA-based amoeba-inspired SAT solver for cyber-physical systems. in GS Ramachandran & J Ortiz (eds), ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems. ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems, Association for Computing Machinery, Inc, pp. 316-317, 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week, Montreal, Canada, 19/4/16. https://doi.org/10.1145/3302509.3313319
Nguyen AHN, Aono M, Hara-Azumi Y. FPGA-based amoeba-inspired SAT solver for cyber-physical systems. In Ramachandran GS, Ortiz J, editors, ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems. Association for Computing Machinery, Inc. 2019. p. 316-317. (ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems). https://doi.org/10.1145/3302509.3313319
Nguyen, Anh Hoang Ngoc ; Aono, Masashi ; Hara-Azumi, Yuko. / FPGA-based amoeba-inspired SAT solver for cyber-physical systems. ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems. editor / Gowri Sankar Ramachandran ; Jorge Ortiz. Association for Computing Machinery, Inc, 2019. pp. 316-317 (ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems).
@inproceedings{4b12764f468a469590e09ba0ccc2727c,
title = "FPGA-based amoeba-inspired SAT solver for cyber-physical systems",
abstract = "This study presents a hardware architecture design to solve the Satisfiability (SAT) problem which can represent various types of control applications in Cyber-Physical Systems (CPS). The proposed architecture adapts an emerging bio-inspired SAT solver, “AmoebaSAT” which possesses the high potentials of parallel computing and is thus suitable for hardware implementation. By exploring several hardware optimization techniques through an advanced high-level design technology (i.e., high-level synthesis), we realized an FPGA-based AmoebaSAT solver applicable to any CPS application whose control rules can be expressed as a SAT instance.",
author = "Nguyen, {Anh Hoang Ngoc} and Masashi Aono and Yuko Hara-Azumi",
year = "2019",
month = "4",
day = "16",
doi = "10.1145/3302509.3313319",
language = "English",
series = "ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems",
publisher = "Association for Computing Machinery, Inc",
pages = "316--317",
editor = "Ramachandran, {Gowri Sankar} and Jorge Ortiz",
booktitle = "ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems",

}

TY - GEN

T1 - FPGA-based amoeba-inspired SAT solver for cyber-physical systems

AU - Nguyen, Anh Hoang Ngoc

AU - Aono, Masashi

AU - Hara-Azumi, Yuko

PY - 2019/4/16

Y1 - 2019/4/16

N2 - This study presents a hardware architecture design to solve the Satisfiability (SAT) problem which can represent various types of control applications in Cyber-Physical Systems (CPS). The proposed architecture adapts an emerging bio-inspired SAT solver, “AmoebaSAT” which possesses the high potentials of parallel computing and is thus suitable for hardware implementation. By exploring several hardware optimization techniques through an advanced high-level design technology (i.e., high-level synthesis), we realized an FPGA-based AmoebaSAT solver applicable to any CPS application whose control rules can be expressed as a SAT instance.

AB - This study presents a hardware architecture design to solve the Satisfiability (SAT) problem which can represent various types of control applications in Cyber-Physical Systems (CPS). The proposed architecture adapts an emerging bio-inspired SAT solver, “AmoebaSAT” which possesses the high potentials of parallel computing and is thus suitable for hardware implementation. By exploring several hardware optimization techniques through an advanced high-level design technology (i.e., high-level synthesis), we realized an FPGA-based AmoebaSAT solver applicable to any CPS application whose control rules can be expressed as a SAT instance.

UR - http://www.scopus.com/inward/record.url?scp=85066634244&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85066634244&partnerID=8YFLogxK

U2 - 10.1145/3302509.3313319

DO - 10.1145/3302509.3313319

M3 - Conference contribution

AN - SCOPUS:85066634244

T3 - ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems

SP - 316

EP - 317

BT - ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems

A2 - Ramachandran, Gowri Sankar

A2 - Ortiz, Jorge

PB - Association for Computing Machinery, Inc

ER -