NDLI: Guiding and refining simulation using temporal logic

Content Provider	IEEE Xplore Digital Library
Author	Brajnik, G. Clancy, D.J.
Copyright Year	1996
Description	Author affiliation: Dipartimento di Matematica e Inf., Udine Univ., Italy (Brajnik, G.)
Abstract	We illustrate TeQSIM, a qualitative simulator for continuous dynamical systems. It combines the expressive power of qualitative differential equations with temporal logic by interleaving simulation with model checking to constrain and refine the resulting predicted behaviors. Temporal logic expressions are used to specify constraints that restrict the simulation to a region of the state space and to specify trajectories for input variables. A propositional linear-time temporal logic is adopted, which is extended to a three valued logic that allows a formula to be conditionally entailed when quantitative information specified in the formula can be applied to a behavior to refine it. The authors present a formalization of the logic with theoretical results concerning the adopted model checking algorithm (correctness and completeness). They show also an example of the simulation of a non-autonomous dynamical system and illustrate possible application tasks, ranging from simulation to monitoring and control of continuous dynamical systems, where TeQSIM can be applied.
Starting Page	144
Ending Page	151
File Size	906287
Page Count	8
File Format	PDF
ISBN	0818675284
DOI	10.1109/TIME.1996.555693
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1996-05-19
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computational modeling State-space methods Computer simulation Interleaved codes Predictive models Power system modeling Input variables Logic testing Differential equations Application software
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Concurrent Testing of Java Components Using Java PathFinder

System reliability assessment using covariate theory

Assessing the predictive accuracy of complex simulation models

Traffic simulation using agent-based models

A rainbow net simulator with a dependability application

Power connector evaluation for thermal performance

An importance quantification technique in uncertainty analysis for computer models

Identifying Power Models State Space Techniques

Interprocessor Communication In Multiprocessor Simulation Systems

Guiding and refining simulation using temporal logic

Similar Documents

Concurrent Testing of Java Components Using Java PathFinder

System reliability assessment using covariate theory

Assessing the predictive accuracy of complex simulation models

Traffic simulation using agent-based models

A rainbow net simulator with a dependability application

Power connector evaluation for thermal performance

An importance quantification technique in uncertainty analysis for computer models

Identifying Power Models State Space Techniques

Interprocessor Communication In Multiprocessor Simulation Systems

Guiding and refining simulation using temporal logic