[go: up one dir, main page]

Damm et al., 2006 - Google Patents

Verification of cooperating traffic agents

Damm et al., 2006

Document ID
7666577362122941920
Author
Damm W
Hungar H
Olderog E
Publication year
Publication venue
International Journal of Control

External Links

Snippet

This paper exploits design patterns employed in coordinating autonomous transport vehicles in order to ease the burden in verifying cooperating hybrid systems. The presented verification methodology is equally applicable for avionics applications (such as the traffic …
Continue reading at www.tandfonline.com (other versions)

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • 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
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • 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
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • 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
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • 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/04—Inference methods or devices

Similar Documents

Publication Publication Date Title
Damm et al. Verification of cooperating traffic agents
Sulaman et al. Comparison of the FMEA and STPA safety analysis methods–a case study
Zhao et al. Formal certification methods for automated vehicle safety assessment
Webster et al. Generating certification evidence for autonomous unmanned aircraft using model checking and simulation
Nolte et al. Towards a skill-and ability-based development process for self-aware automated road vehicles
Anand et al. ROSCoq: Robots powered by constructive reals
Comptier et al. Safety analysis of a CBTC system: a rigorous approach with Event-B
Feth et al. A conceptual safety supervisor definition and evaluation framework for autonomous systems
Sifakis System Design in the Era of IoT---Meeting the Autonomy Challenge
Ibrahim et al. Practical causal models for cyber-physical systems
Gautham et al. STPA-driven multilevel runtime monitoring for In-time hazard detection
Siebinga et al. Modelling communication-enabled traffic interactions
Roque et al. Explainable AI for security of human-interactive robots
Damm et al. Automating verification of cooperation, control, and design in traffic applications
Behere et al. Architecture challenges for intelligent autonomous machines: An industrial perspective
Chen et al. Design of a knowledge-base strategy for capability-aware treatment of uncertainties of automated driving systems
Schneider et al. Dynamic risk management in cyber physical systems
Damm et al. A reference architecture of human cyber-physical systems–part i: Fundamental concepts
Lucero et al. Tracking provenance in decision making between the human and autonomy
Dennis et al. Verifiable autonomy and responsible robotics
Gillespie Building trust and responsibility into autonomous human-machine teams
Damm et al. On the verification of cooperating traffic agents
Bosse et al. An agent-based approach for accident analysis in safety critical domains: A case study on a runway incursion incident
Berger STPA guide
Stoltz-Sundnes Stpa-inspired safety analysis of driver-vehicle interaction in cooperative driving automation