Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
ENSE 623 Systems Validation and Verification Spatio Logic and Spatio-Temporal Logic
 

Summary: ENSE 623 Systems Validation and Verification
Spatio Logic and Spatio-Temporal Logic
Mark Austin
E-mail: austin@isr.umd.edu
Institute for Systems Research, University of Maryland, College Park
p. 1/4
Table of Contents
Part 1. Introduction
1. System Development with Spatial and Spatio-Temporal Logics
2. Combining Numerical and Logical Representations
Part 2. Working with Spatial Logic
3. Declarative Approach to Spatial Modeling
4. Spatial Constraint Modeling
5. Primitive Relations in Spatial Relationships
6. Assembly of Shapes from Halfplane Spaces
7. Applications of Spatial Logic
p. 2/4
Table of Contents
Part 3. Working with Spatio-Temporal Logic
8. Objectives and Common Applications

  

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

 

Collections: Engineering