Origami-Inspired Declarative Surface Folding Model
Faculty Advisor/Mentor
Andrey Chernikov
Location
Virginia Modeling, Analysis and Simulation Center, Room 1201
Conference Title
Modeling, Simulation and Visualization Student Capstone Conference 2023
Conference Track
General Sciences & Engineering
Document Type
Paper
Abstract
Origami has many applications where a large surface area must be compacted to minimize volume. The proposed approach to model surface folding is based in lightweight formal methods. Alloy’s specification language is used to model folds of a surface consisting of faces to show there is a satisfiable sequence of folds resulting in a desired configuration.
Keywords:
Lightweight formal methods, Origami, Rigid origami
Start Date
4-20-2023
End Date
4-20-2023
Recommended Citation
Dearce, Nathaniel and Chernikov, Andrey, "Origami-Inspired Declarative Surface Folding Model" (2023). Modeling, Simulation and Visualization Student Capstone Conference. 7.
https://digitalcommons.odu.edu/msvcapstone/2023/sciencesandengineering/7
Origami-Inspired Declarative Surface Folding Model
Virginia Modeling, Analysis and Simulation Center, Room 1201
Origami has many applications where a large surface area must be compacted to minimize volume. The proposed approach to model surface folding is based in lightweight formal methods. Alloy’s specification language is used to model folds of a surface consisting of faces to show there is a satisfiable sequence of folds resulting in a desired configuration.