Skip to Content
Toggle navigation
Inicio
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Iniciar sesión
Explore, Discover, Share
Ir
Advanced search
Buscar
Borrar filtros
Filtrado por:
Palabra clave
temporal logic
Eliminar la restricciónPalabra clave: temporal logic
1
-
2
de
2
Ordenar por relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
El número de resultados a mostrar por página
10 por página
10
por página
20
por página
50
por página
100
por página
Ver Resultados por:
Lista
Gallery
Masonry
Slideshow
Resultados de la búsqueda
Secure Control for Autonomous Cyber-Physical Systems Under Temporal Logic Constraints
Palabra clave:
temporal logic
,
malicious attack
,
control barrier functions
,
Cyber-physical system
,
stochastic game
, and
secure control
Creador:
Niu, Luyao
Advisor:
Clark, Andrew
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2022-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Electrical & Computer Engineering
Disjunction of Regular Timing Diagrams
Palabra clave:
disjunction
,
timing diagrams
,
model checking
,
temporal logic
, and
Alloy
Creador:
Feng, Yu
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2010-10-12
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Limite su búsqueda
Collections
PhD Dissertations
1
Masters Theses
1
Year
Year range begin
–
Year range end
Current results range from
2010
to
2022
View distribution
Creador
Feng, Yu
1
Niu, Luyao
1
Advisor
Clark, Andrew
1
Fisler, Kathryn
1
Contributor
Clark, Andrew
1
Cowlagi, Raghvendra V.
1
Fisler, Kathryn
1
Fu, Jie
1
Zhang, Ziming
1
Unit (Department)
Computer Science
1
Electrical & Computer Engineering
1
Editor
Worcester Polytechnic Institute
2
Tipo de recurso
Dissertation
1
Thesis
1