We provide a package of strategies for automation of non-linear arithmetic in PVS. In particular, we describe a simplication procedure for the field of real numbers and a strategy for cancellation of common terms.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Real Automation in the Field


    Contributors:

    Publication date :

    2001-12-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Real-Time Online Simulation at Field Level in Industrial Automation

    Deubert, Darius / Selig, Andreas / Verl, Alexander | Springer Verlag | 2025

    Free access

    Automation improves real-time management

    British Library Online Contents | 2007


    SYSTEM FOR SUPPORTING FIELD OPERATION AUTOMATION AND PROGRAM FOR SUPPORTING FIELD OPERATION AUTOMATION

    MATSUOKA KENTA / AKAGAKI MANABU | European Patent Office | 2023

    Free access


    Real-time ethernet : Sonderheft der Messtec drives automation

    TIBKAT | 2010; 4.2011 - 5.2012; damit Ersch. eingest.