A Virtual Model of Manufacturing System Based on Hybrid Automata
Abstract
References
Index Terms
- A Virtual Model of Manufacturing System Based on Hybrid Automata
Recommendations
Interrupt Timed Automata: verification and expressiveness
We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment.
While the reachability problem is undecidable for ...
What's decidable about recursive hybrid automata?
HSCC '15: Proceedings of the 18th International Conference on Hybrid Systems: Computation and ControlRecursive hybrid automata generalize recursive state machines in a similar way as hybrid automata generalize state machines. Recursive hybrid automata can be considered as collection of classical hybrid automata with special states that correspond to ...
Competitiveness based adaptive control of the manufacturing system
ICOSSSE '09: Proceedings of the 8th WSEAS international conference on System science and simulation in engineeringIn order to progress in the present-day complex and unpredictable environment, the company must feature abilities of quick response and favorably reposition itself on the market. Acquisition and preservation of this capacity is the most difficult step ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/17cb26e1-f80b-43d5-a45a-e6fe8adc4f67/3284516.cover.jpg)
In-Cooperation
- SFedU: Southern Federal University
- University of Alberta: University of Alberta
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 50Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in