SCOPUS 정보 검색 플랫폼

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 50-55

Scheduling lacquer production by reachability analysis - A case study

(4) Behrmann, Gerd a Brinksma, Ed b Hendriks, Martijn c Mader, Angelika b

a AALBORG UNIVERSITY (Denmark)

b UNIVERSITY OF TWENTE (Netherlands)

c RADBOUD UNIVERSITY NIJMEGEN (Netherlands)

Author keywords

Cost optimization; Model checking; Scheduling; Timed automata

Indexed keywords

AUTOMATA THEORY; LACQUERS; OPTIMIZATION; PRODUCTION CONTROL; ROBOTS; SCHEDULING;

CLASSICAL APPROACH; COST OPTIMIZATION; EUROPEAN IST PROJECT; INDUSTRIAL PARTNERS; REACHABILITY ANALYSIS; SCHEDULING PROBLEM; STATE-SPACE EXPLOSION; TIMED AUTOMATA;

MODEL CHECKING;

EID: 79960715828 PISSN: 14746670 EISSN: None Source Type: Conference Proceeding
DOI: 10.3182/20050703-6-cz-1902.01433 Document Type: Conference Paper

Times cited : (10)

References (8)

1
- 0008289864
- Job-shop scheduling using timed automata
- Abdeddaïm, Y. and O. Maler (2001). Job-Shop Scheduling using Timed Automata. In: 13th Conference on Computer Aided Verification (CAV'01).
- (2001) 13th Conference on Computer Aided Verification (CAV'01)
- Abdeddaïm, Y.¹ Maler, O.²

2
- 0028413052
- A theory of timed automata
- Alur, R. and D.L. Dill (1994). A theory of timed automata. Theoretical Computer Science (138), 183-335.
- (1994) Theoretical Computer Science , Issue.138 , pp. 183-335
- Alur, R.¹ Dill, D.L.²

3
- 79960743392
- IST project IST-2001-35304
- AMETIST (n.d.). (Advanced Methods for Timed Systems), IST project IST-2001-35304. http://ametist.cs.utwente.nl/.
- Advanced Methods for Timed Systems

4
- 16244412280
- Synthesis and stochastic assessment of schedules for lacquer production
- IEEE Computer Society Press, Los Alamitos, California, Enschede, The Netherlands
- Bohnenkamp, H. C., H. Hermanns, R. Klaren, A. Mader and Y. S. Usenko (2004). Synthesis and stochastic assessment of schedules for lacquer production. In: 1st Int. Conf. on Quantitative Evaluation of Systems (QEST). IEEE Computer Society Press, Los Alamitos, California. Enschede, The Netherlands.
- (2004) 1st Int. Conf. on Quantitative Evaluation of Systems (QEST)
- Bohnenkamp, H.C.¹ Hermanns, H.² Klaren, R.³ Mader, A.⁴ Usenko, Y.S.⁵

5
- 84947251840
- Scheduling a steel plant with timed automata
- IEEE Computer Society Press
- Fehnker, Ansgar (1999). Scheduling a Steel Plant with Timed Automata. In: Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99). IEEE Computer Society Press.
- (1999) Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99)
- Fehnker, A.¹

6
- 0008287887
- As cheap as possible: Efficient cost-optimal reachability for priced timed automata
- G. Berry, H. Comon and A. Finkel, Eds.. number, LNCS. Springer-Verlag
- Larsen, K. G., G. Behrmann, E. Brinksma, A. Fehnker, T. Hune, P. Pettersson and J. Romijn (2001). As cheap as possible: Efficient cost-optimal reachability for priced timed automata. In: CAV 2001 (G. Berry, H. Comon and A. Finkel, Eds.). number 2102 In: LNCS. Springer-Verlag. pp. 493-505.
- (2001) CAV 2001 , Issue.2102 , pp. 493-505
- Larsen, K.G.¹ Behrmann, G.² Brinksma, E.³ Fehnker, A.⁴ Hune, T.⁵ Pettersson, P.⁶ Romijn, J.⁷

7
- 0001022545
- On the synthesis of discrete controllers for timed systems
- Vol. 900 of LNCS, Springer
- Maler, Oded, Amir Pnueli and Joseph Sifakis (1995). On the synthesis of discrete controllers for timed systems. In: Proceedings of STACS'95. Vol. 900 of LNCS. Springer.
- (1995) Proceedings of STACS'95
- Maler, O.¹ Pnueli, A.² Sifakis, J.³

8
- 0003687099
- McGraw-Hill
- Pinedo, Michael and Xiuli Chao (1999). Operations Scheduling with Applications in Manufacturing Systems. McGraw-Hill.
- (1999) Operations Scheduling with Applications in Manufacturing Systems
- Pinedo, M.¹ Chao, X.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.