×

Found 17 Documents (Results 1–17)

Abstraction, discretization, and robustness in temporal logic control of dynamical systems. (English) Zbl 1362.93058

Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 293-302 (2014).
MSC:  93B50 03B80 93A30
PDFBibTeX XMLCite
Full Text: DOI

Integrating discrete- and continuous-time metric temporal logics through sampling. (English) Zbl 1141.68465

Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 215-229 (2006).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Discrete triangular norms. (English) Zbl 1037.03046

Rodabaugh, Stephen Ernest (ed.) et al., Topological and algebraic structures in fuzzy sets. A handbook of recent developments in the mathematics of fuzzy sets. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1515-1/hbk). Trends Log. Stud. Log. Libr. 20, 389-400 (2003).
MSC:  03E72
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software