Modal Logics for Continuous Dynamics

Abstract

This work is a formal investigation of a number of bimodal and polymodal logics built on a base of propositional S4, and is a contribution to the theory of hybrid control systems. It is the first stage of a larger project of developing logics for the design and verification of such systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1997
Accession Number
ADA344316

Entities

People

  • Jennifer M. Davoren

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Air Platforms
  • Sensors

DTIC Thesaurus Topics

  • Algebra
  • Boolean Algebra
  • Calculus
  • Calculus Of Variations
  • Computational Science
  • Computations
  • Computer Science
  • Computers
  • Construction
  • Control Systems
  • Differential Equations
  • Formal Languages
  • Language
  • Mathematics
  • Numbers
  • Theoretical Computer Science
  • Topology

Fields of Study

  • Physics

Readers

  • Computational Linguistics
  • Regression Analysis.
  • Robotics and Automation.