Loading ...
Sorry, an error occurred while loading the content.

Messages List

2828
dalmas.manuel
Nov 16
#2828
 
2827

normal distribution

Hi, I am trying to model a delay in normal distribution, following the approach presented in the SMC UPPAAL tutorial paper. However, I am unable to reproduce
    yooway@hotmail.com
    Nov 16
    #2827
    This message has attachments
    2826

    Re: Error - channel as parameter - Incompatible argument

    I think that channel parameters must always be passed as reference parameters, i.e. write chan &moveRight etc. in your template. See also the UPPAAL Help
    Stephan Merz
    Nov 16
    #2826
     
    2825

    Error - channel as parameter - Incompatible argument

    Hi, I am working on a project in which I have to pass some channels as parameter of a template. This is a short description: I have declared those channels as
    dalmas.manuel
    Nov 16
    #2825
     
    2824

    Latest news about UPPAAL?

    The latest UPPAAL version (4.1.19) has been released in 2014. I haven't heard anything about the project since that time. What's the latest news? Has the team
    ualevtn@rambler.ru
    Nov 7
    #2824
     
    2823

    combining use of predicate with time constraints and imply

    Hi, I've got a problem when using with time constraints with some predicates, e.g. imply and not, in a guard. The guard (and some alternatives) are: forall (i
    yooway@hotmail.com
    Oct 30
    #2823
     
    2822

    Re: time constraints with int variables

    Hi Marius, Thanks for your promote reply, and it solves my problem. The cause is that the variable i in my model is not limited by range. regards, Yuhui ...
    yooway@hotmail.com
    Oct 13
    #2822
     
    2821

    Re: time constraints with int variables

    Dear Yuhui, 2017-10-12 18:23 GMT+02:00 yooway@... [uppaal] < ... I assume that the variable i is not beeing incremented without bounds, because you had
    Marius Mikučionis
    Oct 13
    #2821
     
    2820

    time constraints with int variables

    I have a problem when using time constraints with a variable, e.g. t1 - t2 > i, where t1and t2 are clocks and i is an integral variable. One of the UPPAL's
    yooway@hotmail.com
    Oct 12
    #2820
     
    2819

    Re: How to convert my C++ code into UPPAAL form

    2017-09-23 4:46 GMT+02:00 wonggwan1997@... [uppaal] < ... Uppaal uses C-like syntax and the language is even more constrained (e.g. pointer types are not
    Marius Mikučionis
    Sep 26
    #2819
     
    2818

    How to convert my C++ code into UPPAAL form

    After learning the tutorial of UPPAAL, I've known how to use this software, but what still confuses me is that I don't know how to convert the code form (e.g.
    wonggwan1997@gmail.com
    Sep 25
    #2818
     
    2817

    Re: error "Must be computable at compile time"

    2017-09-21 13:40 GMT+02:00 jemini44@... [uppaal] < ... Right, the state of integer variables does not change by itself and it can only change due to
    Marius Mikučionis
    Sep 21
    #2817
     
    2816

    Re: error "Must be computable at compile time"

    Thanks alot sir, In expression int[1,4] a = 1; a will not update itself, instead we have to update its value in a template. its values will not be changed
    jemini44
    Sep 21
    #2816
     
    2815

    Re: error "Must be computable at compile time"

    Hi, 2017-09-11 <20%2017%2009%2011> 9:02 GMT+02:00 jemini44@... [uppaal] < ... This is wrong syntax, perhaps you wanted something like this: int[1,4] a;
    Marius Mikučionis
    Sep 11
    #2815
     
    2814

    error "Must be computable at compile time"

    Hello, I have write this statement in declaration section of a template int [1:4] a; int out= a * 101; but error is coming which is " Must be computable at
    jemini44
    Sep 11
    #2814
     
    View First Topic Go to View Last Topic