메뉴 건너뛰기




Volumn SS-06-07, Issue , 2006, Pages 8-15

A hybrid model for situation monitoring and conflict prediction in human supervised "autonomous" systems

Author keywords

[No Author keywords available]

Indexed keywords

CONDITION MONITORING; CONTROL THEORY; HYBRID COMPUTERS; NUMERICAL ANALYSIS; PETRI NETS; PREDICTIVE CONTROL SYSTEMS; ROBOTS;

EID: 33747194701     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)

References (27)
  • 1
    • 0036475447 scopus 로고    scopus 로고
    • A tutorial on particle filters for online nonlinear/non-gaussian bayesian tracking
    • Arulampalam, S.; Mas kell, S.; Gordon, N.; and Clapp, T. 2002. A Tutorial on Particle Filters for Online Nonlinear/Non-Gaussian Bayesian Tracking. IEEE Transactions on Signal Processing 50(2): 174-188.
    • (2002) IEEE Transactions on Signal Processing , vol.50 , Issue.2 , pp. 174-188
    • Arulampalam, S.1    Mas Kell, S.2    Gordon, N.3    Clapp, T.4
  • 2
    • 33747199669 scopus 로고
    • Planification et analyse d'échec
    • Fargeon, C., and Quin, J.-P., eds. Teknea. chapter 10.1
    • Barrouil, C. 1993. Planification et analyse d'échec. In Fargeon, C., and Quin, J.-P., eds., Robotique mobile. Teknea. chapter 10.1, 275-288.
    • (1993) Robotique Mobile , pp. 275-288
    • Barrouil, C.1
  • 3
    • 33745791552 scopus 로고    scopus 로고
    • The consistency approach to the on-line prediction of hybrid system configurations
    • Benazera, E., and Travé-Massuyès, L. 2003. The consistency approach to the on-line prediction of hybrid system configurations. In ADHS'03.
    • (2003) ADHS'03
    • Benazera, E.1    Travé-Massuyès, L.2
  • 4
    • 84880723388 scopus 로고    scopus 로고
    • Revision of partially ordered information: Axiomatisation, semantics and iteration
    • Benferhat, S.; Lagrue, S.; and Papini, O. 2005. Revision of partially ordered information: axiomatisation, semantics and iteration. In IJCAI'05.
    • (2005) IJCAI'05
    • Benferhat, S.1    Lagrue, S.2    Papini, O.3
  • 5
    • 1142281409 scopus 로고    scopus 로고
    • Adjustable autonomy and human-agent teamwork in practice: An interim report on space applications
    • Hexmoor, H.; Castelfranchi, C.; and Falcone, R., eds. Kluwer, chapter 11
    • Bradshaw, J.; Sierhuis, M.; Acquisti, A.; Feltovich, P.; Hoffman, R.; Jeffers, R.; Prescott, D.; Suri, N.; Uszok, A.; and van Hoof, R. 2003. Adjustable autonomy and human-agent teamwork in practice: an interim report on space applications. In Hexmoor, H.; Castelfranchi, C.; and Falcone, R., eds., Agent Autonomy. Kluwer, chapter 11, 191-220.
    • (2003) Agent Autonomy , pp. 191-220
    • Bradshaw, J.1    Sierhuis, M.2    Acquisti, A.3    Feltovich, P.4    Hoffman, R.5    Jeffers, R.6    Prescott, D.7    Suri, N.8    Uszok, A.9    Van Hoof, R.10
  • 7
    • 0042186766 scopus 로고    scopus 로고
    • A symbolic approach to uncertainty management
    • Chachoua, M., and Pacholczyk, D. 2000. A symbolic approach to uncertainty management. Applied Intelligence 13(3):265-283.
    • (2000) Applied Intelligence , vol.13 , Issue.3 , pp. 265-283
    • Chachoua, M.1    Pacholczyk, D.2
  • 10
    • 33745783974 scopus 로고    scopus 로고
    • Discrete state estimators for a class of hybrid systems on a lattice
    • Del Vecchio, D., and Murray, R. 2004. Discrete state estimators for a class of hybrid systems on a lattice. In HSCC'04.
    • (2004) HSCC'04
    • Del Vecchio, D.1    Murray, R.2
  • 11
    • 0002165558 scopus 로고    scopus 로고
    • Rao-Blackwellised particle filtering for dynamic Bayesian networks
    • Doucet, A.; de Freitas, N.; Murphy, K.; and Russell, S. 2000. Rao-Blackwellised particle filtering for dynamic Bayesian networks. In UAI'00.
    • (2000) UAI'00
    • Doucet, A.1    De Freitas, N.2    Murphy, K.3    Russell, S.4
  • 13
    • 0001907993 scopus 로고    scopus 로고
    • Theoretical underpinnings of situation awareness: A critical review
    • Endsley, M., and Garland, D., eds. Lawrence Erlbaum Associates
    • Endsley, M. 2000. Theoretical underpinnings of situation awareness: a critical review. In Endsley, M., and Garland, D., eds., Situation awareness analysis and measurement. Lawrence Erlbaum Associates.
    • (2000) Situation Awareness Analysis and Measurement
    • Endsley, M.1
  • 16
    • 4844229920 scopus 로고    scopus 로고
    • Mode estimation of probabilistic hybrid systems
    • Hofbaur, M., and Williams, B. 2002. Mode estimation of probabilistic hybrid systems. In HSCC'02.
    • (2002) HSCC'02
    • Hofbaur, M.1    Williams, B.2
  • 18
    • 33745800668 scopus 로고    scopus 로고
    • Estimation of distributed hybrid systems using particle filtering methods
    • Koutsoukos, X.; Kurien, J.; and Zhao, F. 2003. Estimation of distributed hybrid systems using particle filtering methods. In HSCC'03.
    • (2003) HSCC'03
    • Koutsoukos, X.1    Kurien, J.2    Zhao, F.3
  • 19
    • 26444619815 scopus 로고    scopus 로고
    • Ph.D. Coursework, Australian National Unversity
    • Lehmann, E. 2003. Particle filter. Ph.D. Coursework, Australian National Unversity.
    • (2003) Particle Filter
    • Lehmann, E.1
  • 20
    • 0006236307 scopus 로고    scopus 로고
    • Inference in hybrid networks: Theoretical limits and practical algorithms
    • Lerner, U., and Parr, R. 2001. Inference in hybrid networks: theoretical limits and practical algorithms. In UAI'01.
    • (2001) UAI'01
    • Lerner, U.1    Parr, R.2
  • 21
    • 33745782312 scopus 로고    scopus 로고
    • Particle Petri nets for aircraft procedure monitoring under uncertainty
    • Lesire, C., and Tessier, C. 2005. Particle Petri nets for aircraft procedure monitoring under uncertainty. In ATPN'05.
    • (2005) ATPN'05
    • Lesire, C.1    Tessier, C.2
  • 23
    • 33745778481 scopus 로고    scopus 로고
    • Alert systems for production plants: A methodology based on conflict analysis
    • Nielsen, T., and Jensen, F. 2005. Alert systems for production plants: a methodology based on conflict analysis. In ECSQARU'05.
    • (2005) ECSQARU'05
    • Nielsen, T.1    Jensen, F.2
  • 25
    • 8744255103 scopus 로고    scopus 로고
    • Computational techniques for the verification of hybrid systems
    • Tomlin, C.; Mitchell, I.; Bayen, A.; and Oishi, M. 2003. Computational techniques for the verification of hybrid systems. IEEE 91.
    • (2003) IEEE , vol.91
    • Tomlin, C.1    Mitchell, I.2    Bayen, A.3    Oishi, M.4
  • 26
    • 3042620349 scopus 로고    scopus 로고
    • Combining multiple tracking modalities for vehicle tracking in traffic intersections
    • Veeraraghavan, H., and Papanikolopoulos, N. 2004, Combining multiple tracking modalities for vehicle tracking in traffic intersections. In ICRA'04.
    • (2004) ICRA'04
    • Veeraraghavan, H.1    Papanikolopoulos, N.2


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