Search
Skip to Search Results- 2Building Information Modeling
- 2Model Checking
- 1Construction automation
- 1Formal Methods
- 1Frame assemblies
- 1Generative Design
-
A design support system to determine the machine eligibility for manufacturing frame assemblies
DownloadFall 2019
As offsite construction is trending, an increasing number of construction products are fabricated in a controlled factory environment. By using automated machinery, the productivity and accuracy of construction-oriented products have been improved. However, as BIM models do not provide...
-
Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors
DownloadFall 2012
Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that interact with the environment through sensors and actuators. Because the processors are limited...
-
Fall 2019
Building Information Modeling (BIM) has become an integral part of the design process, as all building data is accessible in a digital representation and can be viewed in a 3D environment prior to construction. This supports the capability of evaluating or checking a model against building codes...