Search dblp for Publications

export results for "toc:db/conf/cpsweek/caadcps2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cpsweek/AnandM0Z21,
  author       = {Mahathi Anand and
                  Vishnu Murali and
                  Ashutosh Trivedi and
                  Majid Zamani},
  title        = {Formal verification of hyperproperties for control systems},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {29--30},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461715},
  doi          = {10.1145/3457335.3461715},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/AnandM0Z21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/DevonportA21,
  author       = {Alex Devonport and
                  Murat Arcak},
  title        = {Data-driven estimation of forward reachable sets},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {11--12},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461707},
  doi          = {10.1145/3457335.3461707},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/DevonportA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/HaddadH21,
  author       = {Shadi Haddad and
                  Abhishek Halder},
  title        = {Anytime ellipsoidal over-approximation of forward reach sets of uncertain
                  linear systems},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {20--25},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461711},
  doi          = {10.1145/3457335.3461711},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/HaddadH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/LarssonMT21,
  author       = {Daniel T. Larsson and
                  Dipankar Maity and
                  Panagiotis Tsiotras},
  title        = {Information-theoretic abstractions for resource-constrained agents
                  via mixed-integer linear programming},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461704},
  doi          = {10.1145/3457335.3461704},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/LarssonMT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/LavaeiZCZ21,
  author       = {Abolfazl Lavaei and
                  Bingzhuo Zhong and
                  Marco Caccamo and
                  Majid Zamani},
  title        = {Towards trustworthy {AI:} safe-visor architecture for uncertified
                  controllers in stochastic cyber-physical systems},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {7--8},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461705},
  doi          = {10.1145/3457335.3461705},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/LavaeiZCZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/LlanesA021,
  author       = {Christian Llanes and
                  Matthew Abate and
                  Samuel Coogan},
  title        = {Safety from in-the-loop reachability for cyber-physical systems},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {9--10},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461706},
  doi          = {10.1145/3457335.3461706},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/LlanesA021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/MehmoodBSS21,
  author       = {Usama Mehmood and
                  Stanley Bak and
                  Scott A. Smolka and
                  Scott D. Stoller},
  title        = {Safe {CPS} from unsafe controllers},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {26--28},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461712},
  doi          = {10.1145/3457335.3461712},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/MehmoodBSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/OchoaPU21,
  author       = {Daniel Esteban Ochoa and
                  Jorge I. Poveda and
                  C{\'{e}}sar A. Uribe},
  title        = {Computation-aware distributed optimization over networks: a hybrid
                  dynamical systems approach},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {18--19},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461710},
  doi          = {10.1145/3457335.3461710},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/OchoaPU21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/PetersenPHS21,
  author       = {Christopher Petersen and
                  Sean Phillips and
                  Dawn Hustig{-}Schultz and
                  Ricardo G. Sanfelice},
  title        = {Towards hybrid model predictive control for computationally aware
                  satellite applications},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {15--17},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461709},
  doi          = {10.1145/3457335.3461709},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/PetersenPHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/SprinkleRAS21,
  author       = {Jonathan Sprinkle and
                  Nathalie Risso and
                  Berk Altin and
                  Ricardo G. Sanfelice},
  title        = {Challenges in set-valued model-predictive control},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {13--14},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461708},
  doi          = {10.1145/3457335.3461708},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/SprinkleRAS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cpsweek/2021caadcps,
  title        = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335},
  doi          = {10.1145/3457335},
  isbn         = {978-1-4503-8399-8},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/2021caadcps.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.