 Programmable Controllers: Theory and Implementation
Since the first edition of this book in 1988, the capabilities of programmable
logic controllers have grown by leaps and bounds. Likewise, the applications
of PLCs have grown with them. In fact, in today’s increasingly computercontrolled
environment, it is almost impossible to find a technical industry
that does not use... |  | Real-Time Systems: Formal Specification and Automatic VerificationReal-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:... | | Building a Programmable Logic Controller with a PIC16F648A Microcontroller
Programmable logic controllers (PLCs) are extensively used in industry to perform automation tasks, with manufacturers offering a variety of PLCs that differ in functions, program memories, and the number of inputs/outputs (I/O). Not surprisingly, the design and implementation of these PLCs have long been a secret of manufacturers. Unveiling... |
