Reasoning about hybrid systems with symbolic simulation

Sanjai Narain

doi:10.1007/bfb0033567

ScienceGate Book Chapters

BOOK-CHAPTER

Reasoning about hybrid systems with symbolic simulation

Sanjai Narain

Year: 2005 Lecture notes in control and information sciences Pages: 359-368 Publisher: Springer Science+Business Media

DOI: 10.1007/bfb0033567

Get Full-Text PDF Get Analytical Report

Keywords:

Thermostat Computer science Simple (philosophy) Symbolic trajectory evaluation Event (particle physics) Theoretical computer science The Symbolic Discrete event simulation Programming language State (computer science) Prolog Dynamical systems theory Algorithm Simulation Model checking Engineering

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.05

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Simulation Techniques and Applications

Social Sciences → Decision Sciences → Management Science and Operations Research

Business Process Modeling and Analysis

Social Sciences → Business, Management and Accounting → Management Information Systems

Advanced Software Engineering Methodologies

Physical Sciences → Computer Science → Artificial Intelligence

Reasoning about hybrid systems with symbolic simulation

Metrics

Topics

Related Documents

Q2 Symbolic Reasoning about Noisy Dynamic Systems

Symbolic simulation of hybrid systems

Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation

Learning and reasoning about norms using neural-symbolic systems

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic