Murray Wiki - User contributions [en]

Andras Gyorgy, Aug 2023

2023-08-03T15:34:22Z

Inigo: /* Schedule */

Andras Gyorgy from NYU Abu Dhabi will visit on 7 Aug (Mon).

== Schedule ==

* 9:30 am: Richard, 109 Steele
* 10:00 am: John Marken, location TBD
* 10:30 am: open
* 11:00 am: Seminar, 111 Keck
* 12:15 pm: Lunch with graduate students
* 1:30 pm: open
* 2:15 pm: open
* 3:00 pm: open
* 3:45 pm: Inigo, Annenberg 2nd floor lounge
* 4:30 pm: Richard, 109 Steele

Andras Gyorgy, Aug 2023

2023-08-03T15:33:19Z

Inigo: /* Schedule */

Yasmine Marani, 8 Mar 2023

2023-03-08T20:40:35Z

Inigo: /* 8 Mar 2023 (Wed) */

Yasmine Marani, a PhD student with Eric Feron at KAUST, is going to be visiting Caltech on 8 Mar (Wed). She is working on observer design for nonlinear systems, combining standard control theory methods with learning-based approaches while providing convergence proofs of the whole scheme. She also applies the methods she develops to quadcopters.

== 8 Mar 2023 (Wed) ==

* 1:30 pm: Ersin Das, GTL-218
* 2:15 pm: Prithvi Akella, GTL-205
* 3:00 pm: CDS Tea (Annenberg, 2nd floor lounge)
* 3:30 pm: Ioannis Mandralis (Annenberg, 2nd floor lounge)
* 4:15 pm: Inigo Incer (Annenberg, 2nd floor lounge)

SURF discussions, Feb 2023

2023-01-28T17:16:13Z

Inigo: /* 6 Feb (Mon) */

Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__

In preparation for our conversation, please do the following:
* SURF students should work with their co-mentors to find a time the meeting/Zoom call. (For Zoom calls, co-mentors should initiate.)
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal. It would be great to show up with a first draft of your GOTChA chart.

{| border=1 width=100%
|- valign=top
| width=50% |
==== 6 Feb (Mon) ====
* 8:00 am PST: Ishaan and Inigo
* 8:20 am PST: Kenadi and Inigo
* 8:40 am PST: Jack and Inigo
<hr>
* 1:00 pm PST: busy
* 1:30 pm PST: Phillipe and Zach
| width=50% |

==== 7 Feb (Tue) ====
* 8:00 am PST: busy
* 8:30 am PST: busy
<hr>
* 5:00 pm PST: Kelly & Yan
* 5:30 pm PST: Elna & Alex

|}

The agenda for the phone call is (roughly):

# Description of the basic idea behind the project (based on applicant's understanding)
# Discussion about approaches, what you have read, variations to consider, etc
# Review of GOTChA chart and how we will use it
# Discussion of the format of the proposal
# Questions and discussion about the process

SURF discussions, Feb 2023

2023-01-27T00:43:10Z

Inigo: /* 6 Feb (Mon) */

Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__

In preparation for our conversation, please do the following:
* SURF students should work with their co-mentors to find a time the meeting/Zoom call. (For Zoom calls, co-mentors should initiate.)
* Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the project is about and we can narrow in on the key ideas that will be the basis of your proposal
* Please take a look at the [[SURF GOTChA chart]] page, which is the format that we will use for the first iteration of your project proposal. It would be great to show up with a first draft of your GOTChA chart.

{| border=1 width=100%
|- valign=top
| width=50% |
==== 6 Feb (Mon) ====
* 8:00 am PST: Ishaan and Inigo
* 8:20 am PST: open
* 8:40 am PST: open
<hr>
* 1:00 pm PST: busy
* 1:30 pm PST: Phillipe and Zach
| width=50% |

==== 7 Feb (Tue) ====
* 8:00 am PST: busy
* 8:30 am PST: busy
<hr>
* 5:00 pm PST: Kelly & Yan
* 5:30 pm PST: Elna & Alex

|}

The agenda for the phone call is (roughly):

# Description of the basic idea behind the project (based on applicant's understanding)
# Discussion about approaches, what you have read, variations to consider, etc
# Review of GOTChA chart and how we will use it
# Discussion of the format of the proposal
# Questions and discussion about the process

SURF 2023: Formal compositional design of electro-mechanical systems

2022-12-19T19:18:38Z

Inigo:

[[File:SURF2023-CBD.png|400px|thumb|right|Figure 1. Composition and quotient operations for assume-guarantee contracts]]

Practitioners often rank the handling of specifications as one of the top challenges of systems engineering. Requirements expressed in natural languages can be conflicting, incomplete, unrealizable, etc. One way to alleviate this problem and the miscommunications it can produce in the supply chain is by making specifications formal (i.e., having well-defined mathematical meaning) and providing means for handling these specifications algebraically and computationally.

Contract-based design [1,2] has emerged as a methodology to design and analyze complex systems formally. In contract-based design, every component in a system is represented using an assume-guarantee specification. A rich contract algebra allows us to compute the specification of a system given the specifications of the subsystems. Conversely, given the specification of a system and the specification of a subsystem, we can compute the specification of a missing component that would allow the system to meet its objective [3]. These two processes, namely, composition and quotient are shown in Figure 1.

In this project, we will model an electromechanical system (e.g., an engine, a turbine) using assume-guarantee specifications. The specifications and guarantees of each component will be expressed using linear inequalities. Using contract-based design and tools currently in development, you will be able to compose system specifications and to take quotients.

Programming in python will be part of this project. As a result, you should be familiar with a programming language. Your background should enable you to reason about the design and analysis of complex electromechanical systems, such as engines or turbines. Background in formal methods is not required, but will be helpful.

References
# Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T.A., Larsen, K.G.: [https://www.nowpublishers.com/article/Details/EDA-053 Contracts for system design]. Foundations and Trends in Electronic Design Automation 12(2-3), 124–400 (2018)
# Nuzzo, P., Xu, H., Ozay, N., Finn, J., Sangiovanni-Vincentelli, A., Murray, R., Donzé, A., Seshia, S.: [https://ieeexplore.ieee.org/abstract/document/6690099 A Contract-Based Methodology for Aircraft Electric Power System Design], in IEEE Access, vol. 2, pp. 1-25, 2014, doi: 10.1109/ACCESS.2013.2295764.
# Incer, I., Sangiovanni-Vincentelli, A., Lin, C. -W., Kang, E.: [https://ieeexplore.ieee.org/abstract/document/8556872 Quotient for Assume-Guarantee Contracts], in Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2018, pp. 1-11, doi: 10.1109/MEMCOD.2018.8556872.

File:SURF2023-CBD.png

2022-12-19T19:11:52Z

Inigo:

SURF 2023: Formal compositional design of electro-mechanical systems

2022-12-19T19:10:26Z

Inigo: Created page with "Practitioners often rank the handling of specifications as one of the top challenges of systems engineering. Requirements expressed in natural languages can be conflicting, incomplete, unrealizable, etc. One way to alleviate this problem and the miscommunications it can produce in the supply chain is by making specifications formal (i.e., having well-defined mathematical meaning) and providing means for handling these specifications algebraically and computationally. Co..."

Practitioners often rank the handling of specifications as one of the top challenges of systems engineering. Requirements expressed in natural languages can be conflicting, incomplete, unrealizable, etc. One way to alleviate this problem and the miscommunications it can produce in the supply chain is by making specifications formal (i.e., having well-defined mathematical meaning) and providing means for handling these specifications algebraically and computationally.

Contract-based design [1,2] has emerged as a methodology to design and analyze complex systems formally. In contract-based design, every component in a system is represented using an assume-guarantee specification. A rich contract algebra allows us to compute the specification of a system given the specifications of the subsystems. Conversely, given the specification of a system and the specification of a subsystem, we can compute the specification of a missing component that would allow the system to meet its objective [3]. These two processes, namely, composition and quotient are shown in Figure 1.

In this project, we will model an electromechanical system (e.g., an engine, a turbine) using assume-guarantee specifications. The specifications and guarantees of each component will be expressed using linear inequalities. Using contract-based design and tools currently in development, you will be able to compose system specifications and to take quotients.

Programming in python will be part of this project. As a result, you should be familiar with a programming language. Your background should enable you to reason about the design and analysis of complex electromechanical systems, such as engines or turbines. Background in formal methods is not required, but will be helpful.

References
# Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T.A., Larsen, K.G.: [https://www.nowpublishers.com/article/Details/EDA-053 Contracts for system design]. Foundations and Trends in Electronic Design Automation 12(2-3), 124–400 (2018)
# Nuzzo, P., Xu, H., Ozay, N., Finn, J., Sangiovanni-Vincentelli, A., Murray, R., Donzé, A., Seshia, S.: [https://ieeexplore.ieee.org/abstract/document/6690099 A Contract-Based Methodology for Aircraft Electric Power System Design], in IEEE Access, vol. 2, pp. 1-25, 2014, doi: 10.1109/ACCESS.2013.2295764.
# Incer, I., Sangiovanni-Vincentelli, A., Lin, C. -W., Kang, E.: [https://ieeexplore.ieee.org/abstract/document/8556872 Quotient for Assume-Guarantee Contracts], in Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2018, pp. 1-11, doi: 10.1109/MEMCOD.2018.8556872.