Fetching the paper…
Reading the bibliography…
This paper presents an assume-guarantee reasoning approach to the computation of robust invariant sets for network systems.
N. Sandell, P. Varaiya, M. Athans, and M. Safonov, “Survey of decentralized control methods for large scale systems,” IEEE Transactions on automatic Control , vol. 23, no. 2, pp. 108–128, 1978
1978
Earlier work this paper cites.
J. H. Chow and K. W. Cheung, “A toolbox for power system dynamics and control engineering education and research,” IEEE transactions on Power Systems , vol. 7, no. 4, pp. 1559–1564, 1992
1992
Earlier work this paper cites.
R. Alur and T. A. Henzinger, “Reactive modules,” Formal methods in system design , vol. 15, no. 1, pp. 7–48, 1999
1999
Earlier work this paper cites.
S. Prajna, P. A. Parrilo, and A. Rantzer, “Nonlinear control synthesis by convex optimization,” IEEE Transactions on Automatic Control , vol. 49, no. 2, pp. 310–314, 2004
2004
Earlier work this paper cites.
I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, “A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games,” IEEE Transactions on automatic control , vol. 50, no. 7, pp. 947–957, 2005
2005
Earlier work this paper cites.
A. Papachristodoulou and S. Prajna, “A tutorial on sum of squares techniques for systems analysis,” in American Control Conference, 2005. Proceedings of the 2005 . IEEE, 2005, pp. 2686–2700
2005
Earlier work this paper cites.
M. G. Bobaru, C. S. Păsăreanu, and D. Giannakopoulou, “Automated assume-guarantee reasoning by abstraction refinement,” in International Conference on Computer Aided Verification . Springer, 2008, pp. 135–148
2008
Earlier work this paper cites.
C. S. Păsăreanu, D. Giannakopoulou, M. G. Bobaru, J. M. Cobleigh, and H. Barringer, “Learning to divide and conquer: applying the l* algorithm to automate assume-guarantee reasoning,” Formal Methods in System Design , vol. 32, no. 3, pp. 175–205, 2008
2008
Earlier work this paper cites.
G. E. Fainekos and G. J. Pappas, “Robustness of temporal logic specifications for continuous-time signals,” Theoretical Computer Science , vol. 410, no. 42, pp. 4262–4291, 2009
2009
Earlier work this paper cites.
A. Giani, S. Sastry, K. H. Johansson, and H. Sandberg, “The viking project: an initiative on resilient control of power networks,” in Resilient Control Systems, 2009. ISRCS’09. 2nd International Symposium on . IEEE, 2009, pp. 31–35
2009
Cited alongside, same era.
M. V. Khlebnikov, B. T. Polyak, and V. M. Kuntsevich, “Optimization of linear systems subject to bounded exogenous disturbances: The invariant ellipsoid technique,” Automation and Remote Control , vol. 72, no. 11, pp. 2227–2275, 2011
2011
Cited alongside, same era.
J. Anderson, Y.-C. Chang, and A. Papachristodoulou, “Model decomposition and reduction tools for large-scale networks in systems biology,” Automatica , vol. 47, no. 6, pp. 1165–1174, 2011
2011
Cited alongside, same era.
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” in International Conference on Runtime Verification . Springer, 2011, pp. 147–160
2011
Cited alongside, same era.
G. Bombara, C.-I. Vasile, F. Penedo, H. Yasuoka, and C. Belta, “A decision tree approach to data classification using signal temporal logic,” in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control . ACM, 2016, pp. 1–10
2016
Later among the works it cites.
O. Hussien, A. Ames, and P. Tabuada, “Abstracting partially feedback linearizable systems compositionally,” IEEE Control Systems Letters , vol. 1, no. 2, pp. 227–232, 2017
2017
Later among the works it cites.
E. S. Kim, M. Arcak, and S. A. Seshia, “A small gain theorem for parametric assume-guarantee contracts,” in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control . ACM, 2017, pp. 207–216
2017
Later among the works it cites.
D. K. Molzahn, F. Dörfler, H. Sandberg, S. H. Low, S. Chakrabarti, R. Baldick, and J. Lavaei, “A survey of distributed optimization and control algorithms for electric power systems,” IEEE Transactions on Smart Grid , vol. 8, no. 6, pp. 2941–2962, 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
P. Nilsson, O. Hussien, Y. Chen, A. Balkan, M. Rungger, A. Ames, J. Grizzle, N. Ozay, H. Peng, and P. Tabuada, “Preliminary results on correct-by-construction control software synthesis for adaptive cruise control,” in Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on . IEEE, 2014, pp. 816–823
2014
Cited alongside, same era.
C. Zhao, U. Topcu, N. Li, and S. Low, “Design and stability of load-side primary frequency control in power systems,” IEEE Transactions on Automatic Control , vol. 59, no. 5, pp. 1177–1189, 2014
2014
Cited alongside, same era.
A. D. Ames, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs with application to adaptive cruise control,” in Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on . IEEE, 2014, pp. 6271–6278
2014
Cited alongside, same era.
S. W. Smith, P. Nilsson, and N. Ozay, “Interdependence quantification for compositional control synthesis with an application in vehicle safety systems,” in Decision and Control (CDC), 2016 IEEE 55th Conference on . IEEE, 2016, pp. 5700–5707
2016
Cited alongside, same era.
P. Nilsson and N. Ozay, “Control synthesis for large collections of systems with mode-counting constraints,” in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control . ACM, 2016, pp. 205–214
2016
Cited alongside, same era.
2017
Later among the works it cites.
E. Mallada, C. Zhao, and S. Low, “Optimal load-side control for frequency regulation in smart grids,” IEEE Transactions on Automatic Control , vol. 62, no. 12, pp. 6294–6309, 2017
2017
Later among the works it cites.
A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,” IEEE Transactions on Automatic Control , vol. 62, no. 8, pp. 3861–3876, 2017
2017
Later among the works it cites.
Y. Chen, H. Peng, and J. W. Grizzle, “Validating noncooperative control designs through a lyapunov approach,” IEEE Transactions on Control Systems Technology , no. 99, pp. 1–13, 2018
2018
Closest in time.
Y. Chen, H. Peng, and J. Grizzle, “Obstacle avoidance for low-speed autonomous vehicles with barrier function,” IEEE Transactions on Control Systems Technology , vol. 26, no. 1, pp. 194–206, 2018
2018
Closest in time.
Y. Chen, H. Peng, J. Grizzle, and N. Ozay, “Data-driven computation of minimal robust control invariant set,” in Decision and Control (CDC), 2018 IEEE 57th Annual Conference on . IEEE, 2018
2018
Closest in time.