Many systems, and in particular safety-critical ones, are built using a combination of analog and digital components. In order to specify and verify such systems, you need to use a specification language capable of describing both discrete and continuous evolving objects. There has been a fair amount of research in languages for hybrid systems, such as the work done by T. Henziger on hybrid automata (see http://mtc.epfl.ch/~tah/ Publications/bytopic.html#hytech).
Was this article helpful?
Read how to maintain and repair any desktop and laptop computer. This Ebook has articles with photos and videos that show detailed step by step pc repair and maintenance procedures. There are many links to online videos that explain how you can build, maintain, speed up, clean, and repair your computer yourself. Put the money that you were going to pay the PC Tech in your own pocket.