Academic literature on the topic 'Backward Reachable Sets'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Backward Reachable Sets.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Backward Reachable Sets"
Xue, Bai, Zhikun She, and Arvind Easwaran. "Underapproximating Backward Reachable Sets by Semialgebraic Sets." IEEE Transactions on Automatic Control 62, no. 10 (October 2017): 5185–97. http://dx.doi.org/10.1109/tac.2017.2694351.
Full textGrande, Nicholas, Shane Tierney, Joseph F. Horn, and Jack W. Langelaan. "Safe Autorotation through Wind Shear via Backward Reachable Sets." Journal of the American Helicopter Society 61, no. 2 (April 1, 2016): 1–11. http://dx.doi.org/10.4050/jahs.61.022006.
Full textYang, Liren, and Necmiye Ozay. "Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems." IEEE Control Systems Letters 6 (2022): 1555–60. http://dx.doi.org/10.1109/lcsys.2021.3123228.
Full textPark, Jaeyong, Arda Kurt, and Ümit Özgüner. "Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation." Unmanned Systems 02, no. 02 (April 2014): 101–19. http://dx.doi.org/10.1142/s2301385014500071.
Full textEdelkamp, Stefan, Peter Kissmann, and Martha Rohte. "Symbolic and Explicit Search Hybrid through Perfect Hash Functions — A Case Study in Connect Four." Proceedings of the International Conference on Automated Planning and Scheduling 24 (May 10, 2014): 101–10. http://dx.doi.org/10.1609/icaps.v24i1.13637.
Full textFisher, Colby K., Ming Pan, and Eric F. Wood. "Spatiotemporal assimilation–interpolation of discharge records through inverse streamflow routing." Hydrology and Earth System Sciences 24, no. 1 (January 21, 2020): 293–305. http://dx.doi.org/10.5194/hess-24-293-2020.
Full textTrinh, H., Phan T. Nam, Pubudu N. Pathirana, and H. P. Le. "On backwards and forwards reachable sets bounding for perturbed time-delay systems." Applied Mathematics and Computation 269 (October 2015): 664–73. http://dx.doi.org/10.1016/j.amc.2015.07.116.
Full textMoon, Jun. "Backward reachability approach to state-constrained stochastic optimal control problem for jump-diffusion models." Advances in Continuous and Discrete Models 2022, no. 1 (December 8, 2022). http://dx.doi.org/10.1186/s13662-022-03747-z.
Full textKöcher, Chris. "Reachability Problems on Reliable and Lossy Queue Automata." Theory of Computing Systems, June 19, 2021. http://dx.doi.org/10.1007/s00224-021-10031-2.
Full textBook chapters on the topic "Backward Reachable Sets"
Xue, Bai, Zhikun She, and Arvind Easwaran. "Under-Approximating Backward Reachable Sets by Polytopes." In Computer Aided Verification, 457–76. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41528-4_25.
Full textConference papers on the topic "Backward Reachable Sets"
Han, Dongkun, Albert Rizaldi, Ahmed El-Guindy, and Matthias Althoff. "On enlarging backward reachable sets via Zonotopic set membership." In 2016 IEEE International Symposium on Intelligent Control (ISIC). IEEE, 2016. http://dx.doi.org/10.1109/isic.2016.7579990.
Full textLiu, Zexiang, and Necmiye Ozay. "On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems." In 2022 IEEE 61st Conference on Decision and Control (CDC). IEEE, 2022. http://dx.doi.org/10.1109/cdc51059.2022.9993110.
Full textChakrabarty, Ankush, Arvind Raghunathan, Stefano Di Cairano, and Claus Danielson. "Data-Driven Estimation of Backward Reachable and Invariant Sets for Unmodeled Systems via Active Learning." In 2018 IEEE Conference on Decision and Control (CDC). IEEE, 2018. http://dx.doi.org/10.1109/cdc.2018.8619646.
Full textLee, Myoung Hoon, Jae Hwa Lee, and Jun Moon. "A Characterization of Backward Reachable Sets for Nonlinear Dynamical Systems via the Pseudospectral Legendre Method." In 2019 18th European Control Conference (ECC). IEEE, 2019. http://dx.doi.org/10.23919/ecc.2019.8795886.
Full textKojchev, Stefan, Ankit Gupta, Robert Hult, and Jonas Fredriksson. "An iterative algorithm for volume maximization of N-step backward reachable sets for constrained linear time-varying systems." In 2021 60th IEEE Conference on Decision and Control (CDC). IEEE, 2021. http://dx.doi.org/10.1109/cdc45484.2021.9683221.
Full textPersson, Linnea, and Bo Wahlberg. "Verification of Cooperative Maneuvers in FlightGear using MPC and Backwards Reachable Sets." In 2018 17th European Control Conference (ECC). IEEE, 2018. http://dx.doi.org/10.23919/ecc.2018.8550247.
Full text