[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Finger et al., 1993 - Google Patents

Metatem at work: Modelling reactive systems using executable temporal logic

Finger et al., 1993

View PDF
Document ID
3045866764251656413
Author
Finger M
Fisher M
Owens R
Publication year
Publication venue
Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-93)

External Links

Snippet

In this paper we describe the application of a high-level programming language to the abstract modelling of transport systems. We show how METATEM, a language based upon the execution of temporal logics, can be used to model railway networks. The examples …
Continue reading at www.researchgate.net (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management

Similar Documents

Publication Publication Date Title
Erol Hierarchical task network planning: formalization, analysis, and implementation
Malik et al. Fuzzy discrete structures
Rosen Handbook of discrete and combinatorial mathematics
Fisher Representing and executing agent-based systems
Alur et al. Model-checking for probabilistic real-time systems
Doherty et al. Tal: Temporal action logics language specification and tutorial
Finger et al. Metatem at work: Modelling reactive systems using executable temporal logic
Bogomolov et al. Counterexample-guided refinement of template polyhedra
Juarez Dominguez Detection of feature interactions in automotive active safety features
JP6550384B2 (en) Method and computing device for solving NP problems without hyperpolynomial cost
De Nicola et al. Formal modeling and quantitative analysis of KLAIM-based mobile systems
Spencer et al. Inferring data transformation rules to integrate semantic web services
Zhao Multi-view design for cyber-physical systems
Miculan et al. A calculus for attribute-based memory updates
Baier et al. Domain equations for probabilistic processes
Mateti A decision procedure for the correctness of a class of programs
Fisher et al. Distributed problem-solving as concurrent theorem proving
Behdenna et al. Deductive verification of simple foraging robotic behaviours
Haxthausen et al. Automated Compositional Verification of Interlocking Systems
Lindoso et al. Visual specification of properties for robotic designs
Fabbretti et al. Generation of a reversible semantics for Erlang in Maude
Beebe A complete bibliography of publications in science of computer programming
Fernández Venero et al. On the use of SPIN for studying the behavior of nested Petri nets
Bjørner et al. Formal, model-oriented software development methods: from VDM to ProCoS & from RAISE to LaCoS
Bera et al. Modeling hybrid systems with petri nets