On the existence of solutions to controlled hybrid automata. (English)
Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 229-242 (2000).
1
An heuristic technique for selecting the run-length of non-terminating steady-state simulations. (English)
Simulation 65, No. 3, 170-179 (1995).
2
Decomposing timed Petri net models of open queueing networks. (English)
J. Oper. Res. Soc. 45, No.12, 1385-1397 (1994).
3
Deterministic asynchronous automata for infinite traces. (English)
Acta Inf. 31, No.4, 379-397 (1994).
4
Reducibility in analysis of coordination. (English)
Discrete event systems: models and applications, IIASA Conf., Sopron/Hung. 1987, Lect. Notes Control Inf. Sci. 103, 19-39 (1988).
5
An approach to proving properties of non-terminating logic programs. (English)
Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 1, Colloq. Math. Soc. János Bolyai 42, 223-243 (1986).
6
The total repair cost in a defective, coherent binary system. (English)
Cybern. Syst. 13, 219-243 (1982).
7
Another characterization of weakest preconditions. (English)
Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 164-177 (1982).
8
Start
Contact
Print
General Help
