Temporal logic inference for classification and prediction from data

HSCC 2014 - Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)

Volumn , Issue , 2014, Pages 273-282

  Kong, Zhaodan ^a   Jones, Austin ^a   Ayala, Ana Medina ^a   Gol, Ebru Aydin ^a   Belta, Calin ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

Directed acyclic graph; Gene network; Logic inference; Parametric signal temporal logic

Indexed keywords

ALGORITHMS; EMBEDDED SYSTEMS; GENES; HYBRID SYSTEMS; INFERENCE ENGINES;

DIRECTED ACYCLIC GRAPH (DAG); GENE NETWORKS; INFERENCE ALGORITHM; LOGIC INFERENCES; ONLINE MONITORING; TEMPORAL LOGIC FORMULA; TEMPORAL LOGIC PROPERTIES; TEMPORAL RELATIONSHIPS;

TEMPORAL LOGIC;

EID: 84899708195     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2562059.2562146     Document Type: Conference Paper

References (22)

1. E. Asarin, A. Donzé, O. Maler, and D. Nickovic. Parametric identification of temporal properties. In Runtime Verification, pages 147-160. Springer, 2012.
2. E. Bartocci, L. Bortolussi, L. Nenzi, and G. Sanguinetti. On the robustness of temporal properties for stochastic models. In Proceedings Second International Workshop on Hybrid Systems and Biology, volume 125, pages 3-19, 2013.
3. V. Chandola, A. Banerjee, and V. Kumar. Anomaly detection: A survey. ACM Computing Surveys (CSUR), 41(3):15, 2009.
4. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 2002.
5. A. Donzé, E. Fanchon, L. M. Gattepaille, O. Maler, and P. Tracqui. Robustness analysis and behavior discrimination in enzymatic reaction networks. PLoS One, 6(9):e24246, 2011.
6. A. Donzé and O. Maler. Robust satisfaction of temporal logic over real-valued signals. In Formal Modeling and Analysis of Timed Systems, pages 92-106. Springer, 2010.
7. G. E. Fainekos. Revising temporal logic specifications for motion planning. In Robotics and Automation (ICRA), 2011 IEEE International Conference on, pages 40-45. IEEE, 2011.
8. G. E. Fainekos and G. J. Pappas. Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science, 410(42):4262-4291, 2009.
9. L. Getoor and B. Taskar. Introduction to Statistical Relational Learning. The MIT Press, 2007.
10. E. A. Gol, D. Densmore, and C. Belta. Data-driven verification of synthetic gene networks. In 52nd IEEE Conference on Decision and Control (CDC), 2013.
11. M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2004.
12. X. Jin, A. Donze, J. Deshmukh, and S. Seshia. Mining requirements from closed-loop control models. In Hybrid Systems: Computation and Control (HSCC), 2013.
13. J. R. Kirby. Synthetic biology: Designer bacteria degrades toxin. Nature Chemical Biology, 6(6):398-399, 2010.
14. S. M. LaValle. Planning Algorithms. Cambridge University Press, 2006.
15. N. Lavrac and S. Dzeroski. Inductive Logic Programming. E. Horwood, 1994.
16. L. Ljung. System Identification: Theory for the User. Prentice Hall, 1987.
17. O. Maler and D. Nickovic. Monitoring temporal properties of continuous signals. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pages 71-76, 2004.
18. A. Rizk, G. Batt, F. Fages, and S. Soliman. On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In Computational Methods in Systems Biology, pages 251-268. Springer, 2008.
19. S. J. Russell and P. Norvig. Artificial Intelligence: a Modern Approach. Prentice Hall, 1995.
20. H. Salis, A. Tamsir, and C. Voigt. Engineering bacterial signals and sensors. Contrib Microbiol, 16:194-225, 2009.
21. H. Trevor, T. Robert, and J. J. H. Friedman. The elements of Statistical Learning. Springer, 2001.
22. H. Yang, B. Hoxha, and G. Fainekos. Querying parametric temporal logic properties on embedded systems. In Testing Software and Systems, pages 136-151. Springer, 2012.