Description:
Industrial Automation Group
- Fieldbus
- Functional Safety
- Fault-tolerant systems
- Programmable Logic Controllers
- Formal Methods for Control Applications
- Wireless sensor networks for monitoring and data acquisition
You are here
Skupina
| Title: | Industrial automation |
|---|---|
| Specialization: | Industrial Automation Group deals with the development and research in the area of industrial control systems, process automation and embedded systems. |
| Research group leader: | Ing. Radek Štohl, Ph.D. |
Staff:
PhD students:
Projects:
Reaserch
- Fault-tolerant systems - systems design and analysis with regard to the high functionality and reliability using RBD and Markov models.
- Formal methods for the design of control applications - temporal logics for verification of discrete event systems described by timed state machines. Automatic and semi-automatic implementation of a formal proposal in 32-bit real time operating systems.
- Wireless technologies for data collection.