Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/87537| Title: | Modeling and analysis of a cruise control system |
| Authors: | Spiteri Staines, Tony |
| Keywords: | Software engineering -- Case studies Real-time rendering (Computer graphics) Petri nets Graphic methods -- Computer programs |
| Issue Date: | 2008 |
| Publisher: | World Academy of Science, Engineering and Technology |
| Citation: | Spiteri Staines, A. (2008). Modeling and analysis of a cruise control system. International Journal of Electrical and Computer Engineering, 38, 173-177. |
| Abstract: | This paper examines the modeling and analysis of a cruise control system using a Petri net based approach, task graphs, invariant analysis and behavioral properties. It shows how the structures used can be verified and optimized. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/87537 |
| Appears in Collections: | Scholarly Works - FacICTCIS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Modeling_and_analysis_of_a_cruise_control_system.pdf Restricted Access | 440.55 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.