DeepAI AI Chat
Log In Sign Up

Computational Network Design from Functional Specifications

by   Chi-Han Peng, et al.
Arizona State University

Connectivity and layout of underlying networks largely determine the behavior of many environments. For example, transportation networks determine the flow of traffic in cities, or maps determine the difficulty and flow in games. Designing such networks from scratch is challenging as even local network changes can have large global effects. We investigate how to computationally create networks starting from only high-level functional specifications. Such specifications can be in the form of network density, travel time versus network length, traffic type, destination locations, etc. We propose an integer programming-based approach that guarantees that the resultant networks are valid by fulfilling all specified hard constraints, and score favorably in terms of the objective function. We evaluate our algorithm in three different design settings (i.e., street layout, floorplanning, and game level design) and demonstrate, for the first time, that diverse networks can emerge purely from high-level functional specifications.


page 6

page 7

page 8

page 9


ORC Layout: Adaptive GUI Layout with OR-Constraints

We propose a novel approach for constraint-based graphical user interfac...

ReverseORC: Reverse Engineering of Resizable User Interface Layouts with OR-Constraints

Reverse engineering (RE) of user interfaces (UIs) plays an important rol...

ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints

OR-constrained (ORC) graphical user interface layouts unify conventional...

Algebraic Specifications of Wayfinding Using Cognitive Map

This paper outlines the formal representation of the environment in whic...

Separating Topology and Geometry in Space Planning

We are dealing with the problem of space layout planning here. We presen...

Online Distributed Evolutionary Optimization of Time Division Multiple Access Protocols

With the advent of cheap, miniaturized electronics, ubiquitous networkin...

Computational Design of Lightweight Trusses

Trusses are load-carrying light-weight structures consisting of bars con...