Timed Control with Partial Observability-Reference-Cited by-同舟云学术

Timed Control with Partial Observability

Published:2003 Issue: Volume: Page:180-192
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bouyer Patricia,D’Souza Deepak,Madhusudan P.,Petit Antoine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45069-6_18

Reference15 articles.

1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

2. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: Proc. IFAC Symp. System Structure and Control, pp. 469–474. Elsevier, Amsterdam (1998)

3. Bouyer, P., D’Souza, D., Madhusudan, P., Petit, A.: Timed control with partial observability. Research Report LSV-02-5, LSV, ENS de Cachan, France (2002)

4. Lecture Notes in Computer Science;F. Cassez,2002

5. Lecture Notes in Computer Science;D. D’Souza,2002

Cited by 41 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Control Synthesis for Parametric Timed Automata under Unavoidability Specifications;2021 European Control Conference (ECC);2021-06-29

2. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018

3. Verification and control of partially observable probabilistic systems;Real-Time Systems;2017-03-08

4. Verification and Control of Partially Observable Probabilistic Real-Time Systems;Lecture Notes in Computer Science;2015

5. Synthesizing bounded-time 2-phase fault recovery;Formal Aspects of Computing;2015-01