Guided Synthesis of Control Programs Using UPPAAL

No abstract is available for this paper.

• Publication year

  2000

• Venue

  Nordic Journal of Computing

• Publication date

  2000-03-22

• Fields of study

  Computer Science, Engineering

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Design and Validation of Computer Protocols

  2003influential reference
• Vhs Case Study 5: Timed Petri Net Model of Steel Plant at Sidmar

  1999influential reference
• Scheduling a steel plant with timed automata

  1999cited by this paper
• Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

  1999cited by this paper
• Model Checking of Real-Time Reachability Properties Using Abstractions

  1998cited by this paper
• Uppaal in a nutshell

  1997influential reference
• Efficient verification of real-time systems: compact data structure and state-space reduction

  1997influential reference
• E cient Veri cation of Real-Time Systems: Compact Data Structure and State{Space Reduction

  1997cited by this paper
• Verification of an Audio Protocol with Bus Collision Using UPPAAL

  1996cited by this paper
• Compositional and symbolic model-checking of real-time systems

  1995influential reference
• Automatic verification of real-time communicating systems by constraint-solving

  1994cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• Design and validation of computer protocols

  1991cited by this paper
• Communication and concurrency

  1989cited by this paper
• The existence of refinement mappings

  1988influential reference

• Semantics-driven extraction of timed automata from Java programs

  2019cites this paper
• Supervisory Energy-Management Systems for Microgrids: Modeling and Formal Verification

  2019cites this paper
• Analyzing Spreadsheets for Parallel Execution via Model Checking

  2018cites this paper
• On Reachability in Priced Probabilistic Timed Automata∗

  2017cites this paper
• Radboud Repository of the Radboud University

  2017cites this paper
• Using Model Checking to Verify an Automotive Electric Parking Brake System

  2017cites this paper
• Formal approaches to multi-resource sharing scheduling

  2017cites this paper
• Time optimal reachability analysis using swarm verification

  2016cites this paper
• Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis

  2016cites this paper
• Priced Timed Automata and Statistical Model Checking

  2013cites this paper
• Integrated Formal Methods

  2013cites this paper
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

  2013cites this paper
• Tools for Model-Checking Timed Systems

  2013cites this paper
• MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA MECÂNICA METODOLOGIA PARA DESENVOLVIMENTO DE SISTEMAS DE CONTROLE DE APM (AUTOMATED PEOPLE MOVERS) COM APLICAÇÃO AO SISTEMA AEROMOVEL DE TRANSPORTE DE PASSAGEIROS

  2012cites this paper
• A practical use of model checking for synthesis: generating a dam controller for flood management

  2011cites this paper
• Model-Based Verification and Analysis for Real-Time Systems

  2011cites this paper
• A comparison of Timed Games and Time Optimal Supervisor Synthesis

  2010cites this paper
• Development of Scrub Nurse Robot (SNR) systems for endoscopic and laparoscopic surgery

  2010cites this paper
• Implementation of Timed Automata in a Real-time Operating System

  2010cites this paper
• A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem

  2010cites this paper
• Automation of Real-time Embedded System Design

  2009cites this paper
• Priced Timed Automata: Theory & Tools

  2009cites this paper
• Infinite Structures in Timed Systems

  2009cites this paper
• Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

  2009cites this paper
• Testability of Dynamic Real-Time Systems

  2009cites this paper
• Discounting in Time

  2009cites this paper
• Discount-Optimal Infinite Runs in Priced Timed Automata

  2009cites this paper
• Priced Timed Automata : Theory & Tools

  2009cites this paper
• Optimisation of applications for FPGAs with PowerPC processor using priced timed automata

  2008cites this paper
• Model-based system analysis using Chi and Uppaal: An industrial case study

  2008cites this paper
• Optimal infinite scheduling for multi-priced timed automata

  2008cites this paper
• Formal methods in support of SMC design

  2008cites this paper
• Development and evaluation of the second version of scrub nurse robot (SNR) for endoscopic and laparoscopic surgery

  2007cites this paper
• Intraoperative Analysis of Surgeon's Motions and Construction of Timed Automata Based Model of Laparoscopic Surgery for Human-adaptive Surgical Robot System

  2007cites this paper
• Task automata: Schedulability, decidability and undecidability

  2007cites this paper
• Ììñññ Ùøóññøø Ûûøø ×ýò Blockinöóòóù× Èöó Blockin Blockin×××××

  2007cites this paper
• Predictable real-time software synthesis

  2007cites this paper
• Schedulability analysis of fixed-priority systems using timed automata

  2006cites this paper
• One Clock Priced Timed Automata: Model Checking and Optimal Strategies

  2006cites this paper
• Probably on Time and within BudgetOn Reachability in Priced Probabilistic Timed Automata

  2006cites this paper
• Verification of Giotto based Embedded Control Systems

  2006cites this paper
• Expressivity of Timed Automata Models

  2006cites this paper
• How to stop time stopping

  2006cites this paper
• ( Re-) Implementation of Iterated Search Refinement in Spin

  2006cites this paper
• A Tutorial on Uppaal 4 . 0

  2006cites this paper
• Integrating timed automata into tabu algorithm for HW-SW partitioning

  2006cites this paper
• Towards the Semantics and Verification of BPEL4WS

  2006cites this paper
• Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card

  2005cites this paper
• Synthesis of Optimal Strategies Using HyTech

  2005cites this paper
• A Complete Bibliography of Publications in Nordic Journal of Computing

  2005cites this paper
• Scrub nurse robot system-intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery

  2005influential citation
• Optimal scheduling using priced timed automata

  2005cites this paper
• A Generic Approach to Schedulability Analysis of Real-Time Tasks

  2004cites this paper
• Optimal Scheduling using Priced Timed Automata

  2004cites this paper
• Optimal Strategies in Priced Timed Game Automata

  2004cites this paper
• Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

  2004cites this paper
• Staying Alive as Cheaply as Possible

  2004cites this paper
• An approach to hardware/software partitioning for multiple hardware devices model

  2004cites this paper
• Formal Methods for the Design of Real-Time Systems

  2004cites this paper
• FSM-Hume: programming resource-limited systems using bounded automata

  2004cites this paper
• A Tutorial on Uppaal

  2004cites this paper
• An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

  2004cites this paper
• Guiding Planner Backjumping Using Verifier Traces

  2004cites this paper
• Priced Timed Automata: Algorithms and Applications

  2004cites this paper
• A Generic Approach to Schedulability Analysis of Real-Time Systems

  2003cites this paper
• A Tool Architecture for the Next Generation of Uppaal

  2003cites this paper
• Hierarchical modeling and analysis of timed systems

  2003cites this paper
• Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking

  2003cites this paper
• Resource-Efficient Scheduling for Real Time Systems

  2003cites this paper
• Guided Symbolic Universal Planning

  2003cites this paper
• Schedulability Analysis Using Two Clocks

  2003cites this paper
• Citius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems

  2002cites this paper
• Model checking embedded system designs

  2002cites this paper
• Timed Automata with Asynchronous Processes: Schedulability and Decidability

  2002cites this paper
• Formal techniques for verification of complex real-time systems

  2002cites this paper
• Exact Acceleration of Real-Time Model Checking

  2002cites this paper
• A Tool Architecture for the Next Generation of Uppaal

  2002cites this paper
• As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata

  2001cites this paper
• UPPAAL - present and future

  2001cites this paper
• Verifying Untimed and Timed Aspects of the Experimental Batch Plant

  2001cites this paper
• Efficient Guiding Towards Cost-Optimality in UPPAAL

  2001cites this paper
• Guiding and Cost-Optimality in UPPAAL

  2001cites this paper
• Minimum-Cost Reachability for Priced Timed Automata

  2001cites this paper
• Analyzing Real-Time Systems: Theory and Tools

  2001influential citation
• UPPAAL - Now, Next, and Future

  2001cites this paper
• Timing Constraints Validation Using Uppaal

  2000cites this paper
• Verification of Timed and Hybrid Systems

  2000cites this paper
• Distributing Timed Model Checking - How the Search Order Matters

  2000cites this paper
• Minimum-Cost Rea hability forPri ed Timed Automata ?

  2000cites this paper
• UPPAAL - Now, Next, and Future

  2000cites this paper
• Model-checking real-time control programs: verifying LEGO MINDSTORMSTM systems using UPPAAL

  1999cites this paper
• Kent Academic Repository

  year unknowncites this paper
• EÆ ient Guiding Towards Cost-Optimality in UPPAAL ?

  year unknowncites this paper
• As Cheap as Possible: EÆ ient Cost-Optimal Rea hability for Pri ed Timed Automata

  year unknowncites this paper