SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Back Johan) srt2:(2000-2004)"

Sökning: WFRF:(Back Johan) > (2000-2004)

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Back, Ralph-Johan, et al. (författare)
  • Contracts and Games in Controller Synthesis for Discrete Systems
  • 2004
  • Ingår i: Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004. - 0769521258 ; , s. 307-314
  • Konferensbidrag (refereegranskat)abstract
    • This study proposes a method for constructing reliable controllers for arbitrarily large discrete systems. The controller is synthesized by finding a winning strategy for specific games defined by contracts. The discrete system model is an action system, and the requirement is a temporal property. We use the extended action system notation that allows both angelic and demonic nondeterminism, such that the game reduces to a competition between the angel, that is, the controller, and the demon, that is, the plant, which try to prevent each other from achieving their respective goals. If the synthesis is possible, that is, if the angel has a way to enforce the required property, the process ends with finding the winning strategy of the angel, by propagating backwards the computed precondition of the demon, with respect to that property. This technique guarantees the correctness of the derived program. We illustrate our method on a producer-consumer application.
  •  
2.
  • Back, Ralph-Johan, et al. (författare)
  • Modeling and Verifying a Temperature Control System using Continuous Action Systems
  • 2000
  • Konferensbidrag (refereegranskat)abstract
    • We formally describe and verify a real-time temperature control system for a nuclear reactor tank, using a generalization of action systems to hybrid systems (based on weakest precondition predicate transformer semantics) as our formal framework. The analyzed control system is a linear hybrid system, combining discrete control with continuous dynamics. Our work can be seen as a case study on the applicability of the hybrid action system formalism to study the reachability problem, i.e., to prove that an unsafe state can not be reached by executing the system.
  •  
3.
  • Back, Ralph-Johan, et al. (författare)
  • Symbolic Simulation of Hybrid Systems
  • 2002
  • Konferensbidrag (refereegranskat)abstract
    • Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about the model within refinement calculus. In this paper we use a symbolic manipulation program to build a tool for simulating CAS models by calculating symbolically the time evolution of the discrete and continuous CAS model functions, as explicit and exact expressions of a continuous time variable. We may then study the time behavior and general properties of the model by plotting these functions with respect to time. For certain models our tool eliminates the need for introducing tolerances into the model structure. The tool is useful for checking that the model behaves correctly, and we can sometimes study the behavior of CAS models with in principle infinite precision.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3
Typ av publikation
konferensbidrag (3)
Typ av innehåll
refereegranskat (3)
Författare/redaktör
Back, Ralph-Johan (3)
Seceleanu, Cristina (2)
Cerschi (Seceleanu), ... (1)
Westerholm, Jan (1)
Lärosäte
Mälardalens universitet (3)
Språk
Engelska (3)
Forskningsämne (UKÄ/SCB)
Teknik (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy