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

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

doi:10.1145/3302509.3313319

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

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

Faculty of Environment and Information Studies

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems
Editors	Gowri Sankar Ramachandran, Jorge Ortiz
Publisher	Association for Computing Machinery, Inc
Pages	316-317
Number of pages	2
ISBN (Electronic)	9781450362856
DOIs	https://doi.org/10.1145/3302509.3313319
Publication status	Published - 2019 Apr 16
Event	10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week - Montreal, Canada Duration: 2019 Apr 16 → 2019 Apr 18

Publication series

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

Conference

Conference	10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week
Country/Territory	Canada
City	Montreal
Period	19/4/16 → 19/4/18

ASJC Scopus subject areas

Computer Networks and Communications
Hardware and Architecture

Access to Document

10.1145/3302509.3313319

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 proceeding › Conference 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). doi: 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",

note = "Funding Information: This work is partially supported by JSPS KAKENHI 17H04677. Publisher Copyright: {\textcopyright} 2019 Copyright held by the owner/author(s).; 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week ; Conference date: 16-04-2019 Through 18-04-2019",

year = "2019",

month = apr,

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

T2 - 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week

Y2 - 16 April 2019 through 18 April 2019

ER -

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

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this