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
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

1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
12
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
© 2026 ScienceGate Book Chapters — All rights reserved.