[erlang-questions] help with smoker's problem

Robert Virding <>
Mon Aug 18 13:57:08 CEST 2008


2008/8/18 Matthias Lang <>

>
> The second is to implement a lift controller. This problem is fairly
> well known in the formal methods & SE world, e.g.
>
>
> http://www.soi.wide.ad.jp/class/20060036/materials_for_student/10/14126.pdf
>
> http://se.uwaterloo.ca/~dberry/ATRE/ElevatorSRSs/SRS2/SRS2-Vahid-Karimi.pdf<http://se.uwaterloo.ca/%7Edberry/ATRE/ElevatorSRSs/SRS2/SRS2-Vahid-Karimi.pdf>
>
> you can make it more complicated by having multiple lifts, inventing
> scheduling strategies and by adding realism, for instance modelling
> the subtleties of lifts that are in motion near stops---e.g.  a lift
> needs, say, 2 metres of advance warning to stop somewhere. Like the
> POTS exercise, a graphical simulator makes it more fun. Even with
> multiple lifts, it's not as "concurrent" as it first seems.


In the old Erlang book there is a lift controller example, as well as the
telephony example.

Robert
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20080818/0119fd2b/attachment.html>


More information about the erlang-questions mailing list