Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Mot-clé
temporal logic
Supprimer la restriction Mot-clé: temporal logic
1
-
2
sur
2
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
Secure Control for Autonomous Cyber-Physical Systems Under Temporal Logic Constraints
Mot-clé:
temporal logic
,
malicious attack
,
control barrier functions
,
Cyber-physical system
,
stochastic game
, and
secure control
Créateur:
Niu, Luyao
Advisor:
Clark, Andrew
Éditeur:
Worcester Polytechnic Institute
date créée:
2022-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Electrical & Computer Engineering
Disjunction of Regular Timing Diagrams
Mot-clé:
disjunction
,
timing diagrams
,
model checking
,
temporal logic
, and
Alloy
Créateur:
Feng, Yu
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2010-10-12
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Limiter votre recherche
Collections
PhD Dissertations
1
Masters Theses
1
Year
Year range begin
–
Year range end
Current results range from
2010
to
2022
View distribution
Créateur
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
Éditeur
Worcester Polytechnic Institute
2
Type de ressource
Dissertation
1
Thesis
1