See this document in CiteSeerX!

Mode Estimation of Model-based Programs:  (Make Corrections)  
Monitoring Systems with Complex Behavior Brian C. Williams and Seung Chung...



  Home/Search   Context   Related

 
View or download:
mit.edu/people/wil...ijcai01_rmpl_me.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/people/wil...papers.shtml (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Deductive mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic networks. (Update)

Active bibliography (related documents):   More   All
1.1:   Mode Estimation of Model-based Programs: Monitoring.. - Williams, Chung, Gupta (2001)   (Correct)
0.2:   Models for Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1996)   (Correct)
0.2:   Computing With Continuous Change - Gupta, Jagadeesan, Saraswat   (Correct)

Similar documents based on text:   More   All
0.3:   Achieving Real-time Mode Estimation through Offline Compilation - Van Eepoel (2002)   (Correct)
0.2:   Improving Model-based Mode Estimation through Offline.. - Seung Chung John (2001)   (Correct)
0.1:   Generative Temporal Planning with Complex Processes - Kennell (2003)   (Correct)

BibTeX entry:   (Update)

@misc{ with-mode,
  author = "Monitoring Systems With",
  title = "Mode Estimation of Model-based Programs:",
  url = "citeseer.ist.psu.edu/704639.html" }
Citations (may not include all citations):
189   Diagnosing multiple faults (context) - de Kleer, Williams - 1987
123   A model-based approach to reactive self-configuring systems - Williams, Nayak - 1996
112   Statecharts: A visual approach to complex systems (context) - Harel - 1987
60   Programming real time applications with signal (context) - Le Guernic, Le Borgne et al. - 1991
50   Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1996
22   Diagnosis of dynamic systems does not necessarily require si.. (context) - Malik, Struss - 1997
19   The synchronous programming language lustre (context) - Halbwachs, Caspi et al. - 1991
17   The esterel programming language: Design (context) - Berry, Gonthier - 1992
17   Back to the future for consistency-based trajectory tracking - Kurien, Nayak - 2000
13   Another Look at Real-time Systems (context) - Benveniste, Berry - 1991
9   Diagnosing circuits with state: An inherently underconstrain.. (context) - Hamscher, Davis - 1984
6   Timed automata model to improve the classification of a sequ.. - Largouet, Cordier - 2000
2   cc -- A generic framework for domain specific languges (context) - Fromherz, Gupta et al. - 1997

Documents on the same site (http://www.ai.mit.edu/people/williams/papers.shtml):   More
Decompositional, Model-based Learning and its Analogy to.. - Williams, Millar (1998)   (Correct)
Unifying Model-based and Reactive Programming within a.. - Williams, Gupta (1999)   (Correct)
Timed Model-based Programming: Executable Specifications for .. - Ingham, Williams (2003)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC