|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Esteban Ochoa, Jorge I. Poveda, César A. Uribe |
Computation-aware distributed optimization over networks: a hybrid dynamical systems approach.  |
CAADCPS@CPSIoTWeek  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21, 2021. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Petersen, Sean Phillips, Dawn Hustig-Schultz, Ricardo G. Sanfelice |
Towards hybrid model predictive control for computationally aware satellite applications. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani 0001 |
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Sprinkle, Nathalie Risso, Berk Altin, Ricardo G. Sanfelice |
Challenges in set-valued model-predictive control. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Haddad, Abhishek Halder |
Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systems. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel T. Larsson, Dipankar Maity, Panagiotis Tsiotras |
Information-theoretic abstractions for resource-constrained agents via mixed-integer linear programming. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Devonport, Murat Arcak |
Data-driven estimation of forward reachable sets. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Llanes, Matthew Abate, Samuel Coogan 0001 |
Safety from in-the-loop reachability for cyber-physical systems. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Formal verification of hyperproperties for control systems. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller |
Safe CPS from unsafe controllers. |
CAADCPS@CPSIoTWeek |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license