Mark Trew

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
—The heart is a vital organ that relies on the orchestrated propagation of electrical stimuli to coordinate each heart beat. Abnormalities in the heart's electrical behaviour can be managed with a cardiac pacemaker. Recently, the closed-loop testing of pacemakers with an emulation (real-time simulation) of the heart has been proposed. An emulated heart(More)
—Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely used formal model for the specification of such systems. While many methods exist for simulating hybrid automata, there are no known approaches for the automatic code generation(More)
  • John Illingworth Bsc, John Illingworth Guildford, Mr W G L Ad, Mr J B Anderson, R Buxton, A Cipolla Dr +15 others
  • 2008
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Design and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in(More)
  • David Pycock Bmva, David Pycock, David Pycock Birmingham, Mr W G L Adaway, Mr J Anderson, Prof B Buxton +22 others
  • 2008
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in(More)
  • 1